Repository Index

A lightweight yet powerful IoC dependency injection container for the Go programming language

• ioc
• ioc-container
• container
• dependency-injection

C++11 thread-safe container for sharing data between threads (synchronized queue)

• cpp
• multithreading
• thread-safe
• channel

[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL

• gremlin
• scala
• graph-database
• graph

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

• ddd
• ddd-architecture
• ddd-example
• transpiler

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

🛠 A full-featured dependency injection container for go programming language.

• go
• dependency-injection
• di
• ioc

A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

ruby bindings for liblxc

• lxc
• ruby
• containers

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

• coq
• library
• programming
• coq-platform

A collection of containers & algorithms for the Crystal programming language

• crystal
• algorithms

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

• coq-library
• real-number
• coq
• coq-ci

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

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

• coq
• refinement
• mathcomp
• coq-platform

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

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

• ocaml
• linenoise
• readline
• standalone

Creates a system where users are forced to login in dedicated independent docker containers.

• docker
• docker-image
• virtual-machine
• multiuser

Go 1.18+ polymorphic generic containers and functions.

• go
• golang
• generics

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action