Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Repository Index
47,133 repositories indexed
673–696 of 864 · Most stars
A command line tool and library for generating FFI wrappers for Common Lisp
- ffi
- common-lisp
- cffi
- clang
:shaved_ice: Shave some bytes by using Preact.
- preact
- codemod
- jscodeshift
- transpiler
Common Interface to ISO Prolog implementations from Common Lisp
Rcpp Bindings to C++ parser for TOML files
- r
- c-plus-plus-11
- cran
- r-package
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
Wait for a specified number of promises to be fulfilled
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
Compile Sass/SCSS to CSS in Crystal (libsass binding)
OCaml library for combinatorics
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tealang - high level language for Algorand ASC1 and TEAL
Run functions in parallel :comet:
- go
- concurrency
- goroutines
nanomsg bindings for ocaml
Common Lisp bindings for the OpenAL audio library.
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
The repository host gives no description.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching