An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Repository Index
47,133 repositories indexed
1,489–1,512 of 2,297 · Most stars
Idris LLVM codegen factored out
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
The Penn Locally Nameless Metatheory Library
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
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
High level go to Lua binder. Write less, do more.
- go
- golang
- lua
Fast Ruby FFI string edit distance algorithms
יון no BS JS
Experimental Malfunction backend for Idris
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Sciter component for Delphi
Salesforce Formula Parser implemented in ES2017. Live demo at
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
R and C++11
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Apache Kafka Client for Delphi
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp with Arc Macros and Procedures
Tinkerpop Blueprints Scala
Common Lisp (Parenscript) utilities for building web apps in ReactJs