search

vitalets / github-trending-repos

Track GitHub trending repositories in your favorite programming language by native GitHub notifications!
2.69k stars 107 forks source link

New weekly trending repos in OCaml #86

Open vitalets opened 6 years ago

vitalets commented 6 years ago

Subscribe to this issue and stay notified about new weekly trending repos in OCaml.

github-trending-repos-bot commented 4 weeks ago

New weekly trending repos in OCaml!

janestreet / magic-trace magic-trace collects and displays high-resolution traces of what a process is doing +10 stars this week

ocaml / dune A composable build system for OCaml. +5 stars this week

github-trending-repos-bot commented 3 weeks ago

New weekly trending repos in OCaml!

coq / coq Coq is a formal proof management system. 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. +10 stars this week

ocaml-community / omd extensible Markdown library and tool in "pure OCaml"

mattjbray / ocaml-decoders Elm-inspired decoders for Ocaml

semgrep / ocaml-tree-sitter-core OCaml code generator and runtime library for handling typed tree-sitter CSTs

github-trending-repos-bot commented 2 weeks ago

New weekly trending repos in OCaml!

bcpierce00 / unison Unison file synchronizer +18 stars this week

github-trending-repos-bot commented 1 week ago

New weekly trending repos in OCaml!

facebook / infer A static analyzer for Java, C, C++, and Objective-C +12 stars this week

facebook / flow Adds static typing to JavaScript to improve developer productivity and code quality. +9 stars this week

github-trending-repos-bot commented 8 hours ago

New weekly trending repos in OCaml!

semgrep / semgrep Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. +29 stars this week

ocaml / ocaml The core OCaml system: compilers, runtime system, base libraries +27 stars this week

astrada / google-drive-ocamlfuse FUSE filesystem over Google Drive +12 stars this week

ocaml / opam opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. +4 stars this week

MinaProtocol / mina Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. +2 stars this week