github-trending-repos-bot

**New daily trending repos in OCaml!** [melange-re / melange](https://github.com/melange-re/melange) A mixture of tooling combined to produce JavaScript from OCaml & Reason ***+4** stars today* [art-w / sherlodoc](https://github.com/art-w/sherlodoc) Fuzzy type search...

**New daily trending repos in OCaml!** [mirage / irmin](https://github.com/mirage/irmin) Irmin is a distributed database that follows the same design principles as Git

**New daily trending repos in OCaml!** [BinaryAnalysisPlatform / bap](https://github.com/BinaryAnalysisPlatform/bap) Binary Analysis Platform

**New daily trending repos in OCaml!** [ocaml / dune](https://github.com/ocaml/dune) A composable build system for OCaml. ***+1** stars today* [plow-technologies / rescript-linter](https://github.com/plow-technologies/rescript-linter) Lint your ReScript code!

**New daily trending repos in OCaml!** [goblint / analyzer](https://github.com/goblint/analyzer) Static analysis framework for C [epavlick / turker-demographics](https://github.com/epavlick/turker-demographics) [rispoli / pinterpreter](https://github.com/rispoli/pinterpreter) A π-calculus interpreter and type-checker. [ocaml / opam](https://github.com/ocaml/opam) opam is...

**New daily trending repos in OCaml!** [coq / coq](https://github.com/coq/coq) Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together...

**New daily trending repos in OCaml!** [rescript-lang / rescript-compiler](https://github.com/rescript-lang/rescript-compiler) The compiler for ReScript. ***+3** stars today*

**New daily trending repos in OCaml!** [baconization / d16x](https://github.com/baconization/d16x) A Programming Language Assembler Thing for DCPU-16 [imandra-ai / imandra-prelude](https://github.com/imandra-ai/imandra-prelude) Extracted version of imandra's prelude

**New daily trending repos in OCaml!** [airbus-seclab / bincat](https://github.com/airbus-seclab/bincat) Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection ***+1** stars today*...

**New daily trending repos in OCaml!** [mukul-rathi / bolt](https://github.com/mukul-rathi/bolt) Bolt is a language with in-built data-race freedom!