OCaml library for combinatorics
Repository Index
47,133 repositories indexed
73–94 of 94 · Most stars
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
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
WebGPU for D
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Pure functions for slices.
- golang
- go
- generics
Backport for type hinting generics in standard collections and union types as X | Y
Common Lisp CFFI bindings to the Horde3D graphics library.
The repository host gives no description.
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
D language binding to Newton Dynamics
Dynamic bindings to the Open Dynamics Engine physics library for the D Programming Language.
A reimplementation of the FIRST Robotics WPILib libraries in Scala for Scala Native support
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
A dynamic binding to the PhysicsFS library for the D Programming Language.
V wrapper of the Chipmunk2D physics library
A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.
Scala Native bindings for the Cairo 2D graphics library
GNU Scientific Library (GSL) bindings for Scala native
- scala
- scala-native
- gsl
- bindings