ghuysmans
Follow
Stars
Adds static typing to JavaScript to improve developer productivity and code quality.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
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 develo…
magic-trace collects and displays high-resolution traces of what a process is doing
A language that compiles to Bash and Windows Batch
A code rewrite tool for structural search and replace that supports ~every language.
Programming language for literate programming law specification
Implementations of various type systems in OCaml.
The Opa Language for Web Application Development
🍬 a functional language for building type-safe, scalable, and maintainable applications
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Hardcaml is an OCaml library for designing hardware.
Concurrent Programming with Effect Handlers
An engine for displaying slips, the next-gen version of slides
Parser combinators built for speed and memory efficiency
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Effects-based direct-style IO for multicore OCaml
HTML 5 canvas implementation of Mario written in Ocaml
A high performance, memory efficient, and scalable web server written in OCaml
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
💠 Converts Flow and TypeScript definitions to Reason interfaces
Vult is a transcompiler well suited to write high-performance DSP code
Examples to illustrate the use of algebraic effects in Multicore OCaml