🇺🇸 Made in United States
Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.
TOP OCaml Projects
facebook/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
semgrep/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
facebook/pyre-check
Performant type-checking for python.
BinaryAnalysisPlatform/bap
Binary Analysis Platform
aantron/dream
Tidy, feature-complete Web framework
jaredly/reason-language-server
A language server for reason, in reason
inhabitedtype/angstrom
Parser combinators built for speed and memory efficiency
inhabitedtype/httpaf
A high performance, memory efficient, and scalable web server written in OCaml
rrdelaney/ReasonablyTyped
💠 Converts Flow and TypeScript definitions to Reason interfaces
o1-labs/snarky
OCaml DSL for verifiable computation
jaredly/gravitron
a little game
c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
pikatchu/LinearML
Functional language for parallel programming
aantron/lambdasoup
Functional HTML scraping and rewriting with CSS in OCaml
prakhar1989/type-inference
The Hindley Milner Type Inference Algorithm
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
microsoft/SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
anmonteiro/ocaml-h2
An HTTP/2 implementation written in pure OCaml
aantron/bisect_ppx
Code coverage for OCaml and ReScript
FormidableLabs/seattlejsconf-app
ReasonML React Native App for SeattleJS Conf
aantron/luv
Cross-platform asynchronous I/O and system calls
jonlaing/rationale
Ramda inspired library of helper functions for ReasonML
nlsandler/nqcc
A compiler for a tiny (but growing!) subset of C, written in OCaml.
teamwalnut/graphql-ppx
GraphQL language primitives for ReScript/ReasonML written in ReasonML
anmonteiro/reason-graphql-fullstack
Fullstack Reason + GraphQL Todo List App
bsansouci/bsb-native
Build system for OCaml/Reason
alavrik/piqi
Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
dysinger/restack
Full Stack ReasonML Tutorials
frenetic-lang/frenetic
The Frenetic Programming Language and Runtime System
inhabitedtype/ocaml-webmachine
A REST toolkit for OCaml
kennetpostigo/lwt-node
Reason Implementation of Node.js API ✨🏎🚀✨
technomancy/grenchman
Sorry about the name
callstackincubator/rebolt-navigation
Fast and declarative router for Rebolt
cyrus-/relit
Hygienic typed literal macros (TLMs) for Reason
anmonteiro/aws-lambda-ocaml-runtime
An OCaml custom runtime for AWS Lambda
reasonml-community/bs-fetch
Fetch bindings for BuckleScript
PLSysSec/FaCT
Flexible and Constant Time Programming Language
anmonteiro/piaf
Web library for OCaml with support for HTTP/1.X / HTTP/2
nickzuber/add-reason
✨🐢 Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.
kenwheeler/camlsynth
eatonphil/owebl
OCaml, Meet Web.
ftripier/spookyc
A compiler for the 🎃 Spooky 😱 programming language 👻
aantron/markup.ml
Error-recovering streaming HTML5 and XML parsers
nrnrnr/qc--
Quick C-- compiler (no longer maintained)
pyrocat101/opal
Self-contained monadic parser combinators for OCaml
superhuman/rxxr2
jacobaustin123/Coral
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
inhabitedtype/ocaml-aws
Generated OCaml bindings for Amazon Web Services
mmottl/postgresql-ocaml
OCaml-bindings for the PostgreSQL database
let-def/hotcaml
Hotcaml: an interpreter with watching and reloading
mikeshulman/narya
A proof assistant for higher-dimensional type theory
mmottl/pure-fun
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
inhabitedtype/faraday
Serialization library built for speed and memory efficiency
jaked/ocamljs
Javascript back-end for OCamlc
alexozer/flitter
A Livesplit-inspired speedrunning split timer for Linux/macOS terminal. Supports global hotkeys.
mmottl/lacaml
OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
smolkaj/nice-parser
Nice parsers in OCaml without the boilerplate
mjambon/dune-starter
Simple template for midsize OCaml project
anuragsoni/routes
typed bidirectional router for OCaml/ReasonML web applications
aatxe/oxide
The essence of Rust.
callstackincubator/reroute
a fast, declarative microrouter for reason-react
let-def/lwd
Lightweight document
zkat/maybe-hugs
Polyglot implementations of conditional hugging
onlinemediagroup/ocaml-usbmux
Connect to your iDevices over USB at scale
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
jaredly/fluid
chenglou/cards
Prototyping the UI of 2030
wyze/reason-calculator
A calculator built with Reason and reason-react.
bsansouci/reasongl
Reason bindings to WebGL and OpenGL.
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
chenglou/jeason
The crappy js-to-reason converter anyone can contribute to!
jaredly/reason-macros
Template-based macros for Reason/OCaml
mmottl/sqlite3-ocaml
OCaml bindings to the SQLite3 database
c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
draperlaboratory/cbat_tools
Program analysis tools developed at Draper on the CBAT project.
let-def/insydious
Unlock 10 digits BIOS passwords
jaredly/let-anything
Deprecated, use the reasonml-community one
jaredly/ohai
easy setup from ocaml/reason native projects
hammerlab/ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
squaresLab/genprog-code
GenProg: heuristic, GP-based automatic program repair for C.
kind2-mc/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
reasonml-community/bs-glamor
BuckleScript bindings for glamor
parkerziegler/reason-basics
Notes and samples for understanding the basics of ReasonML.
SHoltzen/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
mmcqd/pure
A pure type system implemented in OCaml
c-cube/tiny_httpd
Minimal HTTP server using good old threads + blocking IO, with a small request router.
AjayMT/silk
The Silk Programming Language
hammerlab/ketrew
Keep Track of Experimental Workflows
walfie/ac-tune-maker
Animal Crossing tune maker
EchoTeam/ocaml-erlang-port
Support library for OCaml programs running as Erlang ports
matsen/pplacer
Phylogenetic placement and downstream analysis
c-cube/printbox
print nested boxes, lists, arrays, tables in several formats
let-def/wall
(mirror) A vector graphics renderer like NanoVG in OCaml
jaredly/hooks-experimental
An experiment using react's new "hooks" with ReasonReact
mmottl/ocaml-makefile
Easy to use Makefile for small to medium-sized OCaml-projects
Hehk/reason-react-context
A library to add a context library for reason react
jaredly/pack.re
a simple js bundler for reason
seliopou/ocaml-d3
OCaml bindings for D3.js
aantron/namespaces
Sane file naming for OCaml projects.