Documentation on goals of the coq-community organization, the shared contributin

68other

7 months ago

community-drivencoqmanifesto

This is the official DTCG repository for the design tokens specification.

HTML1563other

3 days ago

design-systemdesign-systemsdesign-tokens

15

8 months ago

Multi-services Asynchronous Honeypot Solution with real-time threat detection

Python18agpl-3.0

4 months ago

cybersecurityhoneypotpython

Modern Confluence alternative designed for internal & external docs, built with

JavaScript2117agpl-3.0

5 months ago

collaborationconfluencedashboards

[Community Development Repository] The open source Product Information Managemen

PHP953other

4 months ago

akeneo-pimjavascriptopensource

A curated list of community detection research papers with implementations.

Python2336cc0-1.0

8 months ago

bigclamclusteringcommunity-detection

Informations & Documentation

JavaScript8

8 months ago

delphidocusaurus

UVdesk Opensource Community Helpdesk Project built for all to make a Full Ticket

PHP9104osl-3.0

last month

agent-privilegebackbonejscustomer-support

Community Content Service Repository

Java143lgpl-3.0

17 hours ago

alfrescocontent-managementdocument-management

🙃 A delightful community-driven (with 2,400+ contributors) framework for mana

Shell174000mit

7 days ago

clicli-apphacktoberfest

AirCast - Home Assistant Community Add-ons

Jinja309mit

4 months ago

addonaddonsairplay

AirSonos - Home Assistant Community Add-ons

Jinja85mit

4 months ago

addonaddonsairplay

Glances - Home Assistant Community Add-ons

Shell147mit

4 months ago

addonaddonsglances

Grafana - Home Assistant Community Add-ons

Dockerfile213mit

4 months ago

addonaddonsgrafana

Grocy - Home Assistant Community Add-ons

Dockerfile305mit

5 months ago

addonaddonserp

InfluxDB - Home Assistant Community Add-ons

Shell150mit

4 months ago

addonaddonschronograf

JupyterLab - Home Assistant Community Add-ons

Dockerfile50mit

4 months ago

addonaddonshome-assistant

Log Viewer - Home Assistant Community Add-ons

Jinja65mit

5 months ago

addonaddonshome-assistant

motionEye - Home Assistant Community Add-ons

Jinja267mit

5 months ago

addonaddonscctv

Node-RED - Home Assistant Community Add-ons

JavaScript519mit

4 months ago

addonaddonshome-assistant

Plex Media Server - Home Assistant Community Add-ons

Jinja126mit

4 months ago

addonaddonshome-assistant

Advanced SSH & Web Terminal - Home Assistant Community Add-ons

Jinja332mit

4 months ago

addonaddonshome-assistant

Tautulli - Home Assistant Community Add-ons

Jinja36mit

4 months ago

addonaddonshome-assistant

Traccar - Home Assistant Community Add-ons

Shell120mit

4 months ago

addonaddonsgps

UniFi Network Application - Home Assistant Community Add-ons

Jinja258mit

4 months ago

addonaddonshome-assistant

[ARCHIVED] Cortex Command - Open Source under GNU AGPL v3 (no game data included

C++201agpl-3.0

11 months ago

cortex-command

IntelliJ IDEA Community Edition & IntelliJ Platform

Java17393apache-2.0

4 hours ago

code-editorideintellij

Cassandra Ansible Collection

Python26gpl-3.0

last month

ansible-collectioncassandradatabase

Aurora Editor is a IDE built by the community, for the community, and written in

Swift1157mit

16 days ago

aeideauroraaurora-editor

Community plugin for native & electron SQLite databases

Swift458mit

4 months ago

capacitorsqlite

Information on joining the government community — a collaborative community for

180

6 months ago

best-practicescommunitygovernment

Simple Machines Forum — SMF in short — is free and open-source community forum s

PHP582other

4 months ago

bsd-3-clauseforummysql

Christmas lists for families

TypeScript270agpl-3.0

last month

hacktoberfest

The whole LÖVE wiki in a Lua table.

Lua303

last month

love2dlua

Manage a user environment using Nix [maintainer=@rycee]

Nix6427mit

4 months ago

dotfilesnixnix-dotfiles

Low-level JSON parsing and pretty-printing library for OCaml

OCaml330bsd-3-clause

5 months ago

jsonocamlparser

⚛️ A web tool to support React Native developers in upgrading their apps.

TypeScript3664mit

3 months ago

reactreact-nativern-diff

Home Panel - Home Assistant Community Add-ons

Jinja236mit

11 months ago

addonaddonshome-assistant

Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]

C++770lgpl-3.0

4 months ago

language-server-protocolnixnixos

Nix User Repository: User contributed nix packages [maintainer=@Mic92]

Python1241mit

4 months ago

nix-packagesnixpkgsnur

Easier React Native upgrades by clearly exposing changes from a version to anoth

Shell1276mit

7 days ago

purgereact-nativern-diff

No-code Drag n Drop Form Builder for Svelte

Svelte69gpl-3.0

7 months ago

Go library for PHP community with convenient functions

Go86mit

7 months ago

apiarrayarrays

Smith-Pittman Community Detection Algorithm for 'igraph' Objects (2024) in R

R33other

10 days ago

community-detection-algorithmsigraph

Repository to receive incoming issues, feedback, and feature request from Blazor

104mit

2 months ago

A community driven style guide for Elixir

Elixir4359

6 months ago

elixirelixir-langstyle-guide

Q&A-based community knowledge-sharing software

Ruby393agpl-3.0

13 hours ago

co-designhacktoberfestq-and-a

Bot for the rjb community discord

TypeScript11agpl-3.0

4 months ago

This repository serves as a place for community created Targets and Modules for

627mit

4 months ago

gkapekapetriage

Android app to find electric vehicle charging stations - compatible with communi

Kotlin203mit

2 days ago

androidcharging-stationselectric-vehicle

Actively maintained, community-driven chat UI implementation with an optional Fi

Dart1542apache-2.0

4 months ago

androidchatdart

The ioquake3 community effort to continue supporting/developing id's Quake III A

C2417gpl-2.0

last month

fpsfps-enginefps-game

Community effort to maintain and improve Jedi Academy (SP & MP) + Jedi Outcast (

C++2036gpl-2.0

9 days ago

cc-plus-plusfps

a community wiki for improving code quality

341

last month

A community-driven, open-source project to share detection logic, adversary trad

Python3944mit

9 months ago

dfirhunterhunting

A community-curated list of flexbox issues and cross-browser workarounds for the

13645mit

10 months ago

The community app for eXch.cx website

Kotlin11agpl-3.0

4 months ago

cryptocryptocurrencycryptoswap

Bot used to host giveaways in the Microsoft Community

Java0apache-2.0

3 months ago

JetLinks 基于Java8,Spring Boot 2.x ,WebFlux,Netty,Vert.x,Reactor等开发, 是一个全响应式的企业级物

Java5615apache-2.0

last month

iotiot-platformjava

Shopware 6 is an open commerce platform based on Symfony Framework and Vue and s

PHP2821mit

4 hours ago

api-first-cmsapifirstdigital-commerce

The .NET MAUI Community Toolkit is a community-created library that contains .NE

C#2163mit

4 months ago

androiddesktopdotnet

Mirror of https://gitlab.com/risserlabs/community/dotstow

Shell98apache-2.0

7 months ago

bashclidotfiles

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Coq8other

3 months ago

coqctlmathcomp

YAML parser and emitter for the D programming language

D119bsl-1.0

4 months ago

dlangemitterparser

HomeMatic CCU Addon implementing a xml request functionality

Tcl123gpl-3.0

8 months ago

ccuhomematicraspberrymatic

Parser and printer for date-times in ISO8601

OCaml29mit

9 months ago

datetimeiso8601ocaml

📧 SendGrid-powered mail backend for Vapor

Swift75mit

2 months ago

emailsendgridserver-side-swift

Description Please fix all map issues at OpenStreetMap.org, and let us know a

C++9972apache-2.0

5 hours ago

androidappcpp

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free

C4900apache-2.0

3 months ago

aflafl-compilerafl-fuzz

Computing-focused community centered around link aggregation and discussion

Ruby4107other

2 days ago

aggregatorforumhacktoberfest

Your self-hosted, globally interconnected microblogging community

Ruby47182agpl-3.0

4 hours ago

activity-streamactivitypubdocker

PowerShell Community Extensions module repository

C#733mit

4 months ago

:rocket: A basis for reducing the configuration of your projects with nextJS, be

JavaScript359mit

2 months ago

boilerplateboilerplate-communitycss-in-js

A web application that maps out community-supported agriculture in Germany, Swit

JavaScript58agpl-3.0

yesterday

crowdsourcingcsajavascript

Description Encointer community currencies are distributed unconditionally, a

Dart22apache-2.0

yesterday

😎 A curated list of the best resources in the Nix community [maintainer=@cynthe

2910cc0-1.0

4 months ago

awesomeawesome-listlists

AdGuard Home - Home Assistant Community Add-ons

Jinja377mit

4 months ago

adblockaddonaddons

Webyog provides monitoring and management tools for open source relational datab

C++2192gpl-2.0

4 months ago

A community discussion platform: Brings together the main features from StackOve

TypeScript1691agpl-3.0

4 months ago

answers-topicsblog-commentschat

Community WebView Plugin - Allows Flutter to communicate with a native WebView.

Java1478other

8 months ago

hacktoberfest

🚲 Contribute to the open source community every Friday

HTML1184mit

16 days ago

open-source

Community Discovery Library

Python377bsd-2-clause

3 months ago

cdlibcommunity-detectioncommunity-discovery

:robot: The free, Open Source OpenAI alternative. Self-hosted, community-driven

C++22108mit

4 months ago

aiapiaudio-generation

Simplified and community-driven man pages

Shell708mit

10 months ago

shelltldr

:speech_balloon: A community-driven python bot that aims to be as simple as poss

Python1338mit

7 months ago

assistantbotchat

Building a modern alternative to Salesforce, powered by the community.

TypeScript22015other

4 hours ago

crmcrm-systemcustomer

ansible-playbook + buildah = a sweet container image

Python678mit

3 months ago

ansiblebuildah

A curated list of awesome Coq libraries, plugins, tools, verification projects,

301cc0-1.0

4 months ago

awesomeawesome-listcoq

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq128bsd-2-clause

2 months ago

coqcoq-cicoq-platform

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq487mit

4 months ago

coq

Authorization package for Meteor, compatible with built-in accounts packages

JavaScript920mit

4 months ago

hacktoberfestmeteor

Playwright for Go a browser automation library to control Chromium, Firefox and

Go2003mit

4 months ago

automationbrowser-automationchromium

Scrivener pagination with headers and web linking

Elixir51mit

last month

elixir-langhexhttp-headers

Web application brings your custom skins back in offline Minecraft servers.

PHP849mit

6 months ago

laravelminecraft

Enable Firebase Cloud Messaging for Capacitor apps

TypeScript238mit

5 months ago

androidangularcapacitor

Java21mit

5 months ago

Java82mit

5 months ago

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t

Coq22lgpl-2.1

4 months ago

coqcoq-cicoq-platform

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Coq66other

3 months ago

coqcoq-cicoq-platform

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

4 months ago

coqcoq-cicoq-platform

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh

OCaml325mit

4 months ago

coqeditorvscode

The D Completion Daemon is an auto-complete program for the D programming langua

D349gpl-3.0

4 months ago

autocompletecode-completiond

Phobos candidate JSON implementation.

D25

6 months ago

(Sun Rised!) Flutter plugin for In App Purchase.

Dart548mit

7 months ago

dartflutterin-app-purchase

Build crystal projects using nix.

Crystal14mit

5 months ago

crystal-langnix

Rust toolchains and rust-analyzer nightly for Nix [maintainer=@figsoda]

Nix624mpl-2.0

4 months ago

flakeflakesnightly

Framework for simplifying flake setup [maintainer=@accelbread]

Nix189mit

4 months ago

Modules to help you handle persistent state on systems with ephemeral root stora

Nix1041mit

4 months ago

home-managernixnixos

Build Rust projects in Nix - no configuration, no code generation, no IFD, sandb

Nix681mit

4 months ago

cargocratesnix

Support for building npm packages in Nix and lightweight npm registry [maintaine

Nix104mit

5 months ago

buildhacktoberfestjavascript

Collection of image builders [maintainer=@Lassulus]

Nix1681mit

4 months ago

image-builderisonix

Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]

Rust420mpl-2.0

6 months ago

bitbucketcodebergcrate

Terminal manipulation library for OCaml

OCaml209other

4 months ago

ocaml

An OCaml lexer generator for Unicode

OCaml240mit

29 days ago

Universal toplevel for OCaml

OCaml846other

30 days ago

Access GoogleCloud APIs using Vapor

Swift45mit

5 months ago

cloud-platformcloud-storagegoogle-cloud

Federated Authentication with OAuth providers

Swift155mit

4 months ago

federated-identityfederated-social-webhacktoberfest

📧 Service to assist with sending emails from Vapor apps

Swift118

6 months ago

emailmailgunswift

Community-driven Agones SDK for Godot Engine

GDScript63mit

6 months ago

game-developmentgdscriptgodot

Community list of data & technology resources concerning the built environment a

250cc0-1.0

6 months ago

awesomeawesome-listbuilt-environment

A community-driven Emacs Lisp style guide

1077

9 months ago

Validated, scalable, community developed variant calling, RNA-seq and small RNA

Python994mit

3 months ago

A promise-based Node.JS library for the Blizzard Battle.net Community Platform A

TypeScript146mit

6 months ago

apibattlenetblizzard

An open source community calendar platform written in Ruby on Rails

Ruby434other

8 months ago

From community websites to web applications, this CSS framework will help you ac

HTML806lgpl-3.0

4 months ago

csscss-frameworkhack

Capacitor community plugin for native market for Play Store/App Store.

Java6mit

4 months ago

community-driven taco repo. stars stars stars.

CoffeeScript1286unlicense

7 months ago

ROS support for the MiR Robots. This is a community project to use the MiR Robot

Python238bsd-3-clause

9 days ago

A platform for community discussion. Free, open, simple.

Ruby41301gpl-2.0

4 months ago

discourseemberforum

A community-driven Cypress testing suite for Magento 2

JavaScript171mit

8 months ago

cypresscypress-ioe2e-testing

All your services in one place, built by the community

TypeScript2973apache-2.0

8 days ago

hacktoberfest

The A32NX & A380X Project are community driven open source projects to create fr

TypeScript5139gpl-3.0

5 days ago

a320a380javascript

For empowering community 🌱

Ruby21999agpl-3.0

2 days ago

communitydiscussionfeedback

A community-curated list of awesome projects and resources related to the Golem

202cc0-1.0

10 months ago

awesomeawesome-listgolem

A community driven list of ClojureScript frameworks, libraries and wrappers.

1036cc0-1.0

8 months ago

awesomeawesome-listclj

LabelImg is now part of the Label Studio community. The popular image annotation

Python22324mit

5 months ago

annotationsdeep-learningdetection

Litmus helps SREs and developers practice chaos engineering in a Cloud-native w

Go4441apache-2.0

4 hours ago

chaos-engineeringchaos-experimentschaos-testing

Beautiful & consistent icon toolkit made by the community. Open-source project a

JavaScript11353isc

4 days ago

feather-iconsfigmaicons

A collection of Beamer themes from the community

1348

8 days ago

beamerbeamer-templatelatex

Description Over 600,000 college students use Coursicle to stay on top of the

Swift6041mit

19 days ago

chathacktoberfestios

A curated list of awesome Discord communities for programmers

Python2780cc-by-4.0

3 months ago

awesomeawesome-listbeginner

A community curated list of awesome clean tech companies

424cc0-1.0

10 months ago

awesomeawesome-listclean-tech

⚡️ OpenAI PHP is a supercharged community-maintained PHP API client that allows

PHP4913mit

25 days ago

apiclientcodex

A community-curated list of awesome open companies.

1017

8 months ago

Orchard is a free, open source, community-focused Content Management System buil

C#2375bsd-3-clause

4 months ago

Phantom Community Playbooks

Python464apache-2.0

3 months ago

The Community Maintained High Velocity Web Framework For Java and Scala.

Scala12522apache-2.0

4 months ago

frameworkhacktoberfestjava

The Pokemon Go Bot, baking with community.

Python3873mit

12 months ago

automationbotdocker

A community AWS SDK for Perl Programmers

Perl170other

7 months ago

amazonamazon-web-servicesautoscaling

Forward RSS feeds to your email address, community maintained

Python373gpl-2.0

14 days ago

A Ruby static code analyzer and formatter, based on the community Ruby style gui

Ruby12649mit

2 days ago

code-formatterhacktoberfestlinter

The Ruby community's gem hosting service.

Ruby2332mit

yesterday

package-managerrubyrubygems

The personal, minimalist, super-fast, database free, bookmarking service - commu

PHP3453other

2 days ago

bookmarkingbookmarksbookmarks-manager

A curated list of awesome packages, articles, and other cool resources from the

1977

4 months ago

awesomecmsdjango-cms

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim

Emacs Lisp23701gpl-3.0

6 days ago

community-drivenconfigurationemacs

A clean, Markdown-based publishing platform made for writers. Write together and

Go4536agpl-3.0

2 days ago

activitypubbetablogging

Docker images of the Coq proof assistant (see also: https://github.com/coq-commu

Dockerfile37bsd-3-clause

4 months ago

cicoqdocker-coq

Wardley maps community hub. Useful Wardley mapping resources

HTML673cc0-1.0

9 months ago

awesomeawesome-listsimon-wardley

A community Bash framework.

Shell14293mit

yesterday

bashbash-aliasbash-completion

Cinder is a community-developed, free and open source library for professional-q

C++5340other

21 days ago

.NET Community Toolkit is a collection of helpers and APIs that work for all .NE

C#2839other

5 months ago

csharpdotnetmaui

A community driven list of useful Emacs packages, libraries and other items.

8584unlicense

16 days ago

awesome-listemacs

Papers from the computer science community to read and discuss.

Shell87802

2 months ago

awesomecomputer-sciencemeetup

Repository for official Sitecore, community and demo deployment files. This will

PowerShell28apache-2.0

4 months ago

sitecore

:speedboat: Massively parallel Android and iOS test runner for Firebase Test Lab

Kotlin664apache-2.0

4 months ago

androidearlgreyespresso

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Coq105mit

4 months ago

coqcoq-artdocker-coq-action

Self-contained OCaml bindings to linenoise, easy high level readline functionali

C51

4 months ago

c-bindingslinenoiseocaml

The Windows Community Toolkit is a collection of helpers, extensions, and custom

C#5896other

21 days ago

csharpdotnetmvvm

The canonical GBFS validator. Maintained by the GBFS community, facilitated by M

JavaScript18apache-2.0

5 months ago

bikebikesharebikesharing

Koha is a free software integrated library system (ILS). Koha is distributed und

Perl480gpl-3.0

3 months ago

A Q&A platform software for teams at any scales. Whether it's a community forum,

Go12951apache-2.0

4 hours ago

communityforumgo

A community-developed, free, opensource, automated testing framework for microse

Java909apache-2.0

2 days ago

apiassertionsautomation

Deploy your Capacitor apps to Linux, Mac, and Windows desktops, with the Electro

TypeScript323mit

6 months ago

capacitorcapacitor-platformelectron

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

4 months ago

coqcoq-cicoq-platform

Interact with various interfaces on Steam Community from Node.js

JavaScript480mit

19 days ago

javascriptnodesteam

Angular Libraries Support lists community libs support for each Angular version

TypeScript74mit

5 months ago

angularlibrariesng

KeePassXC is a cross-platform community-driven port of the Windows application “

C++21377other

8 days ago

cross-platformhacktoberfestkeepass

The Laravel.io Community Portal.

PHP2446mit

3 days ago

communityforumslaravel

Javascript library to help creating high quality justified galleries of images.

HTML1676mit

6 months ago

bricklayercss-animationsgallery

Community plugins list, theme list, and releases of Obsidian.

9712

15 hours ago

obsidianobsidian-md

Contains curated community Microsoft Power App samples

405mit

5 months ago

hacktoberfestpowerappspowerplatform

Description Voyager is a free and open source app for Lemmy. Voyager respects

TypeScript1497agpl-3.0

10 hours ago

activitypubandroid-appfediverse

Create test data for Elixir applications

Elixir1932mit

24 days ago

elixirfactoriesfactory-definitions

JSON:API Serializer and Query Handler for Elixir

Elixir495mit

3 months ago

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

Coq109gpl-2.0

2 months ago

coqcoq-cicoq-library

Library for lexing and parsing D source code

D115bsl-1.0

3 months ago

astddlang

Starter app for Flutter that includes many different production app features; so

Dart475other

10 months ago

androidauth0crashlytics

Reactive datatables for large or small datasets

JavaScript363mit

4 months ago

blazedatatablemeteorjs

Simplified nix packaging for various programming language ecosystems [maintainer

Nix941mit

4 months ago

2nixdream-to-nixhacktoberfest

Web application to manage CSA (Community Supported Agriculture), ACP (Agricultur

Ruby37mit

4 months ago

acpcsamanagment

Convenience shortname repository for asdf community plugins

Shell1191mit

4 months ago

asdfasdf-plugincommunity

Web application to manage CSA (Community Supported Agriculture), ACP (Agricultur

Ruby37mit

2 days ago

acpcsamanagment

An authoritative list of awesome devsecops tools with the help from community ex

4643cc0-1.0

6 months ago

devopsdevsecopspodcast

Hackershare is a powerful social bookmarking service and a knowledge-sharing com

HTML597mit

5 months ago

bookmarkdelicioushackernews

Community list of awesome projects, apps, tools, pinning services and more relat

JavaScript4275cc0-1.0

5 months ago

awesomeawesome-ipfsawesome-list

juntagrico is a management platform for community gardens and vegetable cooperat

Python47lgpl-3.0

11 days ago

🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Lua18420gpl-3.0

4 months ago

formattershacktoberfestide

OME (Open Microscopy Environment) develops open-source software and data format

Java200gpl-2.0

6 hours ago

databaseimagejava

openFrameworks is a community-developed cross platform toolkit for creative codi

C++9851other

4 months ago

androidaudiocomputer-vision

Free and Open Source messaging and emailing app that combines common web applica

JavaScript6359gpl-3.0

3 years ago

custom-servicesdiscordemail

This is a universal library that contains everything we need to know about the X

260

last year

communitylibraryuniversal

Community Curated NLP List

196

2 years ago

awesome-listcommunity-drivennlp

Docs related to DDD-CQRS-ES Discord Community

76

2 years ago

communitycqrsddd

Map items around your community 🗺🏘

JavaScript14

2 years ago

All community themes in one repository

203

last year

home-assistantthemethemes

A Community Interaction & Management Tool, From The Community!

Ruby247gpl-3.0

2 years ago

IDE - Home Assistant Community Add-ons

Shell61mit

5 years ago

addonaddonscloud9-ide

Matrix - Home Assistant Community Add-ons

Shell53mit

2 years ago

addonaddonshome-assistant

Community list of shared micromobility APIs, apps, datasets, research, and softw

31cc0-1.0

2 years ago

NuPIC Studio is a powerful all­-in-­one tool that allows users create a HTM neur

Python95gpl-2.0

4 years ago

A curated list of awesome programming, development, technical support and discus

257

3 years ago

awesomecommunitygroups

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

3 years ago

automationcanonical-structurescoq

Get CPU, Memory and Network informations of the running OS and its processes

Crystal72isc

3 years ago

cpucrystalhardware

Learn V by Example

V170mit

2 years ago

educationalhacktoberfestlearning

Coding WebIDE Community Edition

Shell1711bsd-3-clause

4 years ago

dockeridejava-8

A toolkit for #1millionwomentotech community.

Jupyter Notebook622mit

3 years ago

A collection of crypting and encoding functions from the community

AutoHotkey67mit

4 years ago

:package: CMake Community Modules

CMake2

3 years ago

cmakecmake-modules

A community driven framework for zsh

Shell224

7 years ago

Instant, central, community-built docs

JavaScript495mit

8 years ago

Attack Community Graphs through Event Clustering

JavaScript9

9 years ago

algorithms for community detection from n-partite networks

Python12

5 years ago

Deutsches Sprachpaket für Magento 2 Community Edition

PHP86osl-3.0

last year

Louvain community detection for Javascript (http://arxiv.org/abs/0803.0476) (htt

JavaScript147mit

3 years ago

A website to showcase the cool projects built with Cycle.js

JavaScript9mit

7 years ago

Containers backed by std.experimental.allocator

D111bsl-1.0

last year

arraycontainersd

A collection of scripts and examples created while answering questions from the

Python1064mit

3 years ago

dashplotly-dash

Magento2 Spanish (Argentina) language pack build from Crowdin community translat

PHP2mit

5 years ago

The Chicago Python Community Engagement Slack bot

Python70mit

2 years ago

community-engagementhacktoberfesthacktoberfest2020

Toy toolkit, toy language, with moral support @rustlang_ru community

Rust71

6 years ago

drug-discoveryguirust

A community maintained router component for React Native

JavaScript268mit

4 years ago

navigationreact-nativereact-native-navigation

:arrow_forward: A .NET core library to handle the login to Backpack.tf. Backpack

C#7mit

8 years ago

botbot-frameworkcrawler

list of anything (Community driven list of anything) text :)

Ruby29mit

8 years ago

listofliststop-10

macOS application to explore code snippets from the Swift and iOS community, vie

Swift160mit

2 years ago

TypeScript23mit

3 years ago

capacitorfirebase

Plugin and platform requests ✋

72

4 years ago

Java25mit

4 years ago

Interactive console for Crystal programming language

Crystal505mit

3 years ago

crystalrepl

A Parsing Expression Grammar (PEG) module, using the D programming language.

D534

last year

Convert xcodebuild plist and xcresult files to JUnit reports

Ruby249mit

3 years ago

fastlanefastlane-pluginios

:iphone: A HomeMatic CCU-Addon to regularly query AVM FRITZ!-devices for registe

Tcl74lgpl-3.0

last year

ccuhomematichomematic-ip

Hierarchical Temporal Memory in Clojure

Clojure153

8 years ago

Speech to text module for Godot 3

C33mit

2 years ago

Extensible binary data format, like JSON but faster

OCaml43other

2 years ago

Pretty-printing library for OCaml

OCaml43other

2 years ago

Vapor Firebase Realtime database provider

Swift71mit

last year

firebaseswiftvapor

🔌 Non-blocking TCP socket layer, with event-driven server and client.

Swift575mit

7 years ago

asyncnon-blockingserver-side-swift

All about erlang programming language [powerd by community]

1151

3 years ago

Community starter AlgoKit template for Tealish and Algojig project for developin

Jinja0

2 years ago

algokitalgokit-templatealgorand

🔬 A repository of resources related to citizen, community-based and/or non-inst

238other

last year

activismcitizen-sciencelab-equipment

Best in class community driven toolkit for the EOS network.

JavaScript92mit

2 years ago

Support your Meteor community!

9mit

2 years ago

Unofficial community-maintained module for https://steamapis.com

JavaScript8gpl-3.0

3 years ago

node-steamapisnpmsteamapis

Community-contributed Go graphics files

139other

9 years ago

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

Ada60other

5 years ago

Para - community plugin manager and a "swiss army knife" for Terraform/Terragrun

Go58mit

5 years ago

clicommunitydevops

An opinionated, community-driven set of lint rules for Dart and Flutter projects

277apache-2.0

last year

dartflutterhacktoberfest

Unofficial community SDK to interact with the Algorand network, in PHP & Laravel

PHP44mit

2 years ago

algorandalgorand-standard-assetsblockchain

Spin aims to provide a versatile Feedback Loop implementation working with the t

Swift122mit

4 years ago

feedback-loopreactive-frameworksspin

Transloadit's official Rails SDK, maintained by the community

Ruby47mit

2 years ago

A curated, community driven list of awesome Meteor packages, libraries, resource

1420mit

3 years ago

A PHP library for interacting with the Steam Community website (steamcommunity.c

PHP76mit

7 years ago

phpphp-steamcommunitysteamcommunity

Community Contributions for ASP.NET Web API

C#768mit

8 years ago

Community-contributed application for connecting to the Yggdrasil Network on And

Kotlin117mpl-2.0

2 years ago

openFrameworks is a community-developed cross platform toolkit for creative codi

C++63other

7 years ago

openframeworksvulkanwip

A community-maintained list of Language Support Projects for Godot Engine.

325cc-by-4.0

last year

modulespluginscript

A fork of the HomeMatic CCU Addon "ProgrammeDrucken" from http://homematic-forum

CSS12

2 years ago

This is the Vortex OpenSplice Community Edition source repository. For our comme

C259apache-2.0

2 years ago

A curated list of the best resources in the Cassandra community.

HTML283cc0-1.0

2 years ago

apacheawesomeawesome-list

GNU FM is a music community platform

PHP95agpl-3.0

2 years ago

Helpy is a modern, open source helpdesk customer support application. Features i

Ruby2375mit

2 years ago

forumhacktoberfesthelpdesk

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

2 years ago

coqcoq-librarypuzzle

GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper

C++97mit

2 years ago

cmakecppcpp17

Android Vulnerability Test Suite - In the spirit of open data collection, and wi

Java1015other

5 years ago

Hierarchical Temporal Memory implementation in Java - an official Community-Driv

Java310agpl-3.0

3 years ago

QuantifiedCode Community Edition - Protect Your Codebase. Warning: For experimen

JavaScript111bsd-3-clause

6 years ago

WebComponents.org is where community-members document Web Components best practi

JavaScript735

8 years ago

⚡️ React hooks for Capacitor ⚡️

TypeScript244other

2 years ago

capacitorhybrid-appsreact

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq13

last year

coqmathcompmathcomp-ci

Crystal binding for LevelDB

Crystal39lgpl-3.0

5 years ago

crystalleveldb

A testing library that allows "time travel," "freezing time," and "time accelera

Crystal19mit

2 years ago

crystaltestingtimecop

Create Cycle.js apps with no build configuration.

JavaScript238isc

4 years ago

cyclecyclejsgetting-started

A cycle driver for IndexedDB.

JavaScript13mit

7 years ago

cyclejsdriveridb

Makes all children of a selected component sortable

TypeScript17mit

6 years ago

cyclejsdrag-and-drop

A keyboard driver for cycle.js

TypeScript9mit

7 years ago

A Google Maps style SVG pan and zoom component for Cycle.js

JavaScript5mit

8 years ago

Router Driver built for Cycle.js

JavaScript109mit

6 years ago

Bring functional reactive programming to Redux using Cycle.js

JavaScript745mit

7 years ago

cyclecycle-drivercyclejs

An opinionated starter for Cycle.js projects powered by TypeScript.

TypeScript33mit

7 years ago

cyclestarter-projecttypescript

Mosquitto packaged as Addon for the Homematic CCU3 and RaspberryMatic

Shell31other

2 years ago

brokerccuhomematic

Offline private voice assistant for many human languages

Shell2328mit

last year

home-assistantnode-redprivacy

A package to add protection to Vapor against CSRF attacks.

Swift41

2 years ago

Markdown renderer for Vapor

Swift60mit

3 years ago

vaporvapor-2vapor-provider

Simple Vapor 3 Pagination

Swift64mit

6 years ago

fluentswift-4vapor

Stripe library for Vapor

Swift179mit

last year

cardpaymentstripe

A Telesign provider for Vapor.

Swift10

5 years ago

smsswifttelesign-provider

Boilerplate for developing Elm apps on Webpack

JavaScript861

3 years ago

elmwebpack

A Vue CLI 3/4 Plugin for Capacitor

JavaScript131mit

2 years ago

androidandroid-studiocapacitor

Coffeescript plugin for gulp

JavaScript226mit

4 years ago

Streaming concat middleware for gulp

JavaScript791mit

4 years ago

A LESS plugin for Gulp

JavaScript559

3 years ago

gulp plugin for livereload

JavaScript768

5 years ago

Gulp plugin for compiling Pug templates

JavaScript522mit

last year

gulpgulp-pluginpug

A curated list of Vapor-related awesome projects.

Ruby1192cc0-1.0

last year

awesomeawesome-listserver-side-swift

Vapor provider for Lingo - the Swift localization library

Swift57mit

2 years ago

localizationserverswift

⚙️ A collection of Swift extensions for wide range of Vapor data types and class

Swift36mit

6 years ago

serverside-swiftswiftvapor

Quality is a tool that runs quality checks on your code using community tools, a

Ruby155mit

last year

An SDLang (Simple Declarative Language) library for D

D120other