Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Repository Index
58,632 visible repositories in the index
2,257–2,280 of 2,564 · Most stars
Parse, manipulate and render CommonMark in Scala Native
- commonmark
- scala
- scala-native
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
Elixir/Erlang bindings for lexborisov's myhtml
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Common Lisp CFFI bindings to the Horde3D graphics library.
Integration of R, Java, and Scala
A plugin for Mocha to pass JS files through the Traceur transpiler
A Simple DSL to create Directory Tree with Text Files
- groovy
- dsl
- jvm
- directory
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget
wrap cJSON for vlang
- v
- vlang
- cjson
Minimalistic, pluggable Golang evloop/timer handler with dependency-injection
Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.
High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
suricata eve.json parser in Go
The repository host gives no description.
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
Elixir RSS/Atom parser
PEG parser generator for VB6
- vb6
- peg
- parser
- grammar
hnswlib.rb provides Ruby bindings for Hnswlib
- ruby
- gem
- nearest-neighbor-search
- approximate-nearest-neighbor-search
lexer generator
Extension module for vertx-groovy adding methods and syntaxic sugar
Bindings for iOS and Android on Xamarin projects with sample code.