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!

awslabs / s2n-bignum

[github-trending-repos-bot]

New daily trending repos in OCaml!

bcpierce00 / unison
Unison file synchronizer
+2 stars today

ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
+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

facebook / flow
Adds static typing to JavaScript to improve developer productivity and code quality.

[github-trending-repos-bot]

New daily trending repos in OCaml!

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!

coq / opam
Archive for all Coq related OPAM packages organized in various repositories

[github-trending-repos-bot]

New daily trending repos in OCaml!

mattjbray / ocaml-decoders
Elm-inspired decoders for Ocaml

[github-trending-repos-bot]

New daily trending repos in OCaml!

cryspen / hax
A Rust verification tool

LPCIC / coq-elpi
Coq plugin embedding elpi

[github-trending-repos-bot]

New daily trending repos in OCaml!

ocaml / flexdll
a dlopen-like API for Windows

[github-trending-repos-bot]

New daily trending repos in OCaml!

engboris / stellogen
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax

[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 / dune
A composable build system for OCaml.
+4 stars today

austral / austral
Systems language with linear types and capability-based security.
+2 stars today

MLanguage / mlang
Compiler for the M language, used to compute the income tax of French taxpayers

[github-trending-repos-bot]

New daily trending repos in OCaml!

dfinity / motoko
Simple high-level language for writing Internet Computer canisters

[github-trending-repos-bot]

New daily trending repos in OCaml!

ocsigen / js_of_ocaml
Compiler from OCaml to Javascript.

[github-trending-repos-bot]

New daily trending repos in OCaml!

chshersh / github-tui
🌒 A TUI for GitHub
+2 stars today

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

ocsigen / lwt
OCaml promises and concurrent I/O

[github-trending-repos-bot]

New daily trending repos in OCaml!

CatalaLang / catala
Programming language for literate programming law specification

[github-trending-repos-bot]

New daily trending repos in OCaml!

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

[github-trending-repos-bot]

New daily trending repos in OCaml!

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

imandra-ai / ocaml-opentelemetry
Instrumentation for https://opentelemetry.io

[github-trending-repos-bot]

New daily trending repos in OCaml!

airbus-seclab / bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

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!

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

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

mirage / ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
+1 stars today

[github-trending-repos-bot]

New daily trending repos in OCaml!

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

EasyCrypt / easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs