New daily trending repos in OCaml

[vitalets]

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

[github-trending-repos-bot]

New daily trending repos in OCaml!

comby-tools / comby A code rewrite tool for structural search and replace that supports ~every language.

[github-trending-repos-bot]

New daily trending repos in OCaml!

ejgallego / coq-lsp Visual Studio Code Extension and Language Server Protocol for Coq

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

[github-trending-repos-bot]

New daily trending repos in OCaml!

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

[github-trending-repos-bot]

New daily trending repos in OCaml!

ocaml-flambda / flambda-backend The Flambda backend project for OCaml

[github-trending-repos-bot]

New daily trending repos in OCaml!

ocaml / flexdll a dlopen-like API for Windows

ocaml / dune A composable build system for OCaml.

dbuenzli / cmdliner Declarative definition of command line interfaces for OCaml

[github-trending-repos-bot]

New daily trending repos in OCaml!

0install / 0install the core 0install package

janestreet / magic-trace magic-trace collects and displays high-resolution traces of what a process is doing

[github-trending-repos-bot]

New daily trending repos in OCaml!

melange-re / melange-compiler-libs

[github-trending-repos-bot]

New daily trending repos in OCaml!

reasonml / reason Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

[github-trending-repos-bot]

New daily trending repos in OCaml!

facebook / infer A static analyzer for Java, C, C++, and Objective-C +1 stars today

hacspec / hax A Rust verification tool +1 stars today

realworldocaml / book V2 of Real World OCaml +1 stars today

BinaryAnalysisPlatform / bap Binary Analysis Platform

owlbarn / owl Owl - OCaml Scientific Computing @ https://ocaml.xyz

[github-trending-repos-bot]

New daily trending repos in OCaml!

ocaml / ocaml The core OCaml system: compilers, runtime system, base libraries +4 stars today

coccinelle / coccinelle Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

[github-trending-repos-bot]

New daily trending repos in OCaml!

xapi-project / xen-api The Xapi Project's XenAPI Server

[github-trending-repos-bot]

New daily trending repos in OCaml!

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

facebook / flow Adds static typing to JavaScript to improve developer productivity and code quality. +2 stars today

[github-trending-repos-bot]

New daily trending repos in OCaml!

astrada / google-drive-ocamlfuse FUSE filesystem over Google Drive +2 stars today

[github-trending-repos-bot]

New daily trending repos in OCaml!

janestreet / learn-ocaml-workshop Exercises and projects for Jane Street's OCaml Workshop

[github-trending-repos-bot]

New daily trending repos in OCaml!

bcpierce00 / unison Unison file synchronizer +3 stars today

dfinity / motoko Simple high-level language for writing Internet Computer canisters +1 stars today

[github-trending-repos-bot]

New daily 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. +1 stars today

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

[github-trending-repos-bot]

New daily trending repos in OCaml!

mattjbray / ocaml-decoders Elm-inspired decoders for Ocaml

mirage / mirage MirageOS is a library operating system that constructs unikernels

[github-trending-repos-bot]

New daily trending repos in OCaml!

ocaml / merlin Context sensitive completion for OCaml in Vim and Emacs +2 stars today

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