Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–24 of 26 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Parser combinators built for speed and memory efficiency
A modern supercompiler for call-by-value functional languages
Low-level JSON parsing and pretty-printing library for OCaml
- json
- ocaml
- yojson
- parser
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An OCaml lexer generator for Unicode
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
The Frenetic Programming Language and Runtime System
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
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
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser