OCaml library for combinatorics
Repository Index
47,133 repositories indexed
1,777–1,800 of 2,293 · Most stars
A modern, template-based, open source data transformation language
An Earley parser written in Ruby
- ruby
- rubynlp
- natural-language-processing
- nlp
Coq library on rewriting theory and termination
scikit-learn for OCaml
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
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
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.
Go bindings for ForestDB
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Simple Web-MIDI Message Parser
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
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
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