github-trending-repos
github-trending-repos copied to clipboard
vitalets
New daily trending repos in OCaml
New daily trending repos in OCaml!
janestreet / magic-trace magic-trace collects and displays high-resolution traces of what a process is doing +3 stars today
ocaml / merlin Context sensitive completion for OCaml in Vim and Emacs
New daily trending repos in OCaml!
dfinity / motoko Simple high-level language for writing Internet Computer canisters
aantron / dream Tidy, feature-complete Web framework
New daily trending repos in OCaml!
melange-re / melange A mixture of tooling combined to produce JavaScript from OCaml & Reason +4 stars today
art-w / sherlodoc Fuzzy type search for OCaml documentation +2 stars today
PLSysSec / FaCT Flexible and Constant Time Programming Language
New daily trending repos in OCaml!
mirage / irmin Irmin is a distributed database that follows the same design principles as Git
New daily trending repos in OCaml!
ocaml / dune A composable build system for OCaml. +1 stars today
plow-technologies / rescript-linter Lint your ReScript code!
New daily trending repos in OCaml!
goblint / analyzer Static analysis framework for C
epavlick / turker-demographics
rispoli / pinterpreter A π-calculus interpreter and type-checker.
ocaml / opam opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
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
sanette / bogue GUI library for ocaml based on SDL2
janestreet / bonsai A library for building dynamic webapps, using Js_of_ocaml
New daily trending repos in OCaml!
rescript-lang / rescript-compiler The compiler for ReScript. +3 stars today
New daily trending repos in OCaml!
baconization / d16x A Programming Language Assembler Thing for DCPU-16
imandra-ai / imandra-prelude Extracted version of imandra's prelude
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 +1 stars today
returntocorp / ocaml-tree-sitter-core OCaml code generator and runtime library for handling typed tree-sitter CSTs
anmonteiro / piaf Web library for OCaml with support for HTTP/1.X / HTTP/2
New daily trending repos in OCaml!
mukul-rathi / bolt Bolt is a language with in-built data-race freedom!
New daily trending repos in OCaml!
LesleyLai / PFPL-Interpreters This repository contains interpreters for mini-languages described by the book "Practical Foundations for Programming Languages"
New daily trending repos in OCaml!
ArulselvanMadhavan / mini_dalle mini-dalle in ocaml +2 stars today
ocsigen / lwt_domain Parallelism in Lwt using domainslib
New daily trending repos in OCaml!
facebook / pyre-check Performant type-checking for python. +1 stars today
stephenrkell / libcrunch A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
ocaml-flambda / flambda-backend The Flambda backend project for OCaml
New daily trending repos in OCaml!
etiloz / projet-pf-2022-2023-ogit projet de programmation fonctionnelle L3 info Valrose - Mini git en OCaml
imandra-ai / fix-engine Imandra FIX Engine
New daily trending repos in OCaml!
returntocorp / semgrep Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. +1 stars today
moby / vpnkit A toolkit for embedding VPN capabilities in your application
zhezhouzz / Poirot-Supplementary-Material
returntocorp / pfff pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
New daily trending repos in OCaml!
astrada / google-drive-ocamlfuse FUSE filesystem over Google Drive +1 stars today
MinaProtocol / mina Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
New daily trending repos in OCaml!
samoht / toc Automatically generate table of contents for Markdown files +1 stars today
imandra-ai / ocaml-opentelemetry Instrumentation for https://opentelemetry.io
New daily trending repos in OCaml!
matijapretnar / millet A ML-like pure functional language that can be used as a template for creating your own language +2 stars today
New daily trending repos in OCaml!
facebook / flow Adds static typing to JavaScript to improve developer productivity and code quality. +2 stars today
facebook / infer A static analyzer for Java, C, C++, and Objective-C +2 stars today
returntocorp / semgrep-interfaces Store the ATD/openapi/protobuf/... interfaces between semgrep components
New daily trending repos in OCaml!
ostera / serde.ml Serialization framework for OCaml +1 stars today
ocaml / ocaml The core OCaml system: compilers, runtime system, base libraries +1 stars today
New daily trending repos in OCaml!
cs3110 / textbook The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful" +2 stars today
New daily trending repos in OCaml!
ocsigen / js_of_ocaml Compiler from OCaml to Javascript. +1 stars today
cmsc330spring24 / cmsc330spring24
New daily trending repos in OCaml!
imandra-ai / imandra-prelude Extracted version of imandra's prelude
New daily trending repos in OCaml!
mattjbray / ocaml-decoders Elm-inspired decoders for Ocaml +1 stars today
New daily trending repos in OCaml!
hacspec / hax A Rust verification tool +16 stars today
yurication / aslr Disable ASLR in child processes +1 stars today
austral / austral Systems language with linear types and capability-based security. +1 stars today
fredfeng / CS162 Programming languages
reasonml / reason Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
New daily trending repos in OCaml!
PataphysicalSociety / soupault Static website generator based on HTML element tree rewriting +2 stars today
New daily trending repos in OCaml!
semgrep / testo Test framework for OCaml
fram-lang / dbl An experimental programming language that combines effect handlers and implicit parameters
New daily trending repos in OCaml!
facebook / flow Adds static typing to JavaScript to improve developer productivity and code quality. +1 stars today
New daily trending repos in OCaml!
coccinelle / coccinelle Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria) +1 stars today
ocaml / ocaml The core OCaml system: compilers, runtime system, base libraries +1 stars today
facebook / infer A static analyzer for Java, C, C++, and Objective-C
coq-tactician / coq-tactician A Seamless, Interactive Tactic Learner and Prover for Coq
New daily trending repos in OCaml!
cs51 / lab12_soln Harvard CS51 2024, Lab 12 Solution
cs51 / lab13_soln Harvard CS51 2024, Lab 13 Solution
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.
groupoid / joe 🧊 Компілятор ML і віртуальна машина
🧊 ML compiler and virtual machine
ocaml-flambda / flambda-backend The Flambda backend project for OCaml
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
darrenldl / docfd TUI multiline fuzzy document finder +4 stars today
astrada / google-drive-ocamlfuse FUSE filesystem over Google Drive +2 stars today
semgrep / ocaml-tree-sitter-core OCaml code generator and runtime library for handling typed tree-sitter CSTs
ebonelli / PLaF Notes and source code for a semester-long course introducing Programming Language fundamentals
Forbinn / Amazing Ocaml
New daily trending repos in OCaml!
semgrep / semgrep-interfaces Store the ATD/openapi/protobuf/... interfaces between semgrep components
New daily trending repos in OCaml!
facebook / pyre-check Performant type-checking for python. +1 stars today
bcpierce00 / unison Unison file synchronizer +1 stars today
rescript-lang / rescript-compiler The compiler for ReScript. +1 stars today
robur-coop / miou A simple scheduler for OCaml 5
New daily trending repos in OCaml!
janestreet / ocaml_openapi_generator An OpenAPI 3 to OCaml client generator.
New daily trending repos in OCaml!
anwarmamat / cmsc330spring2024 Lecture notes and examples for the CMSC330 Spring 2024
imandra-ai / fix-engine Imandra FIX Engine
ocaml / dune A composable build system for OCaml.
thomas-moulard / mpri-reecriture
imandra-ai / ocaml-gcloud OCaml bindings to Google Cloud Platform APIs
jewelltaylor / camlgrad Toy autograd engine in OCaml with Apple Accelerate backend
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.
New daily trending repos in OCaml!
cucumber / cucumber.ml Cucumber for OCaml
savonet / liquidsoap Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
suri-framework / trail Minimal composable server framework for Riot
New daily trending repos in OCaml!
imandra-ai / imandra-ptime IML-compatible version of the Ptime library
New daily trending repos in OCaml!
ocaml-mlx / mlx OCaml syntax dialect which adds JSX syntax expressions +2 stars today
suri-framework / atacama Modern, pure OCaml socket pool for Riot
riot-ml / bytestring Efficient, immutable, UTF friendly byte strings with Elixir-style pattern matching for OCaml
New daily trending repos in OCaml!
CatalaLang / catala Programming language for literate programming law specification +1 stars today
imandra-ai / imandrakit Core utils library for Imandra
New daily trending repos in OCaml!
dmmulroy / create-melange-app The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
New daily trending repos in OCaml!
riot-ml / riot An actor-model multi-core scheduler for OCaml 5 🐫 +1 stars today
o1-labs / describe-dune Describe dune project structure as JSON
ocaml / opam opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.