github-trending-repos-bot
github-trending-repos-bot
**New daily trending repos in OCaml!** [LesleyLai / PFPL-Interpreters](https://github.com/LesleyLai/PFPL-Interpreters) This repository contains interpreters for mini-languages described by the book "Practical Foundations for Programming Languages" [umd-cmsc330 / cmsc330spring22](https://github.com/umd-cmsc330/cmsc330spring22)
**New daily trending repos in OCaml!** [sanette / snoke](https://github.com/sanette/snoke) Snóke is a good old Snake game with new ideas
**New daily trending repos in OCaml!** [ArulselvanMadhavan / mini_dalle](https://github.com/ArulselvanMadhavan/mini_dalle) mini-dalle in ocaml ***+2** stars today* [ocsigen / lwt_domain](https://github.com/ocsigen/lwt_domain) Parallelism in Lwt using domainslib
**New daily trending repos in OCaml!** [facebook / pyre-check](https://github.com/facebook/pyre-check) Performant type-checking for python. ***+1** stars today* [stephenrkell / libcrunch](https://github.com/stephenrkell/libcrunch) A dynamically safe implementation of C, using your existing C compiler....
**New daily trending repos in OCaml!** [bcpierce00 / unison](https://github.com/bcpierce00/unison) Unison file synchronizer ***+4** stars today*
**New daily trending repos in OCaml!** [informatica-unica / lip](https://github.com/informatica-unica/lip) [etiloz / projet-pf-2022-2023-ogit](https://github.com/etiloz/projet-pf-2022-2023-ogit) projet de programmation fonctionnelle L3 info Valrose - Mini git en OCaml [imandra-ai / fix-engine](https://github.com/imandra-ai/fix-engine) Imandra FIX Engine
**New daily trending repos in OCaml!** [returntocorp / semgrep](https://github.com/returntocorp/semgrep) Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. ***+1** stars today* [moby /...
**New daily trending repos in OCaml!** [astrada / google-drive-ocamlfuse](https://github.com/astrada/google-drive-ocamlfuse) FUSE filesystem over Google Drive ***+1** stars today* [MinaProtocol / mina](https://github.com/MinaProtocol/mina) Mina is a new cryptocurrency with a constant size blockchain,...
**New daily trending repos in OCaml!** [samoht / toc](https://github.com/samoht/toc) Automatically generate table of contents for Markdown files ***+1** stars today* [imandra-ai / ocaml-opentelemetry](https://github.com/imandra-ai/ocaml-opentelemetry) Instrumentation for https://opentelemetry.io
**New daily trending repos in OCaml!** [matijapretnar / millet](https://github.com/matijapretnar/millet) A ML-like pure functional language that can be used as a template for creating your own language ***+2** stars today*