ocaml
Repositories (1356)
Cross-platform GLFW / OpenGL ES / WebGL bindings for Reason
Merlin package for Sublime Text 3
Type and doc on hover for OCaml and Reason in emacs
:art: Create beautiful interactive command line interface in OCaml
Dockerfiles for data science in OCaml on Jupyter
Demo to showcase server-reason-react with Melange
A static analysis and linter tool for Lua
A minimal example of a lightweight webapp in OCaml
Abstract krivine machine implementing call-by-name semantics. In OCaml.
A web annotation server built with the same principles as Git
OCaml PPX extension for JSON literals and patterns
This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
Set of quantum chemistry programs and libraries
🐫🎮 OCaml Game Engine
My notes about the Notty library https://github.com/pqwy/notty
PPX rewriter that enables string interpolation in OCaml
Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform
pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of ta...
Experimental model checker for testing concurrent algorithms
A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!...
Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.
Bitcoin data-structures library for OCaml
Curated Computer Science and Programming Resource Guide
OCaml library for handling dates and times.
Pluggable serialization and deserialization of ocaml data strucures based on type_conv
Swagger 2.0 code generator for OCaml
NES emulator in OCaml
A simple http client/server (http/1.1 & h2) for OCaml 5
Firefox add-on to pin or unpin current tab in more efficient ways.
[WIP] Reason pattern matching viz
The core parallel and shared memory library used by Hack, Flow, and Pyre
A curious book about OCaml: logic (types), algebra (values), computation (semantics), functions (lambda calculus), constraints, monads, algebraic effe...
heterogenous Map over a GADT
My solutions for AoC 2017, using Nim, OCaml, and Python
Lwt-enabled distributed computing library
OCaml types to Yaml types and back again
WIP stack language that uses regex for control flow
Using OCaml + gRPC via Envoy
A strongly typed language for the web!
TEA for the shell, in OCaml
HTTP request routing library for OCaml web applications.
A library for manipulation of IP (and MAC) address representations
A library for manipulating, creating and parsing GeoJSON
Generates random text based on context-free grammars defined in BNF
A comprehensive Neovim plugin for OCaml development with intelligent sandbox detection, LSP integration, and comprehensive filetype support.
[Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Python | Rust).
Algorithms and Data Structures in ReasonML
Probabilistic data structures for OCaml
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and W...
[research] A modular SMT solver in OCaml, based on mcSAT