21 Search Results
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
camyll
A static site generator
0.4.0
MIT
Used by 0 other packages
coq-of-ocaml
Compile a subset of OCaml to Coq
2.5.2+4.13
MIT
Used by 0 other packages
datalog
An in-memory datalog implementation for OCaml
0.6
BSD-2-Clause
Used by 0 other packages
dolmen
A parser library for automated deduction
0.7
BSD-2-Clause
Used by 7 other packages
dolmen_loop
A tool library for automated deduction tools
0.7
BSD-2-Clause
Used by 4 other packages
dolmen_type
A typechecker for automated deduction languages
0.7
BSD-2-Clause
Used by 5 other packages
lilis
Library to Interpret Lindenmayer Systems
0.2.1
MIT
Used by 0 other packages
logs
Logging infrastructure for OCaml
0.7.0
ISC
Used by 249 other packages
phylogenetics
Algorithms and datastructures for phylogenetics
0.1.0
CeCILL-B
Used by 0 other packages
smbc
Experimental model finder/SMT solver for functional programming
0.6.1
Used by 0 other packages
smtlib-utils
Parser for SMTLIB2
0.4
BSD-2-Clause
Used by 0 other packages
stog-writing
Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
0.19.0
GPL-3.0-only
Used by 0 other packages
taglog
Logging library using levels and tags to determine what to log.
0.3.0
LGPL-3.0-only
Used by 0 other packages
tip-parser
Parser for https://tip-org.github.io/format.html
0.6
Used by 1 other packages