🇺🇸 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.

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

jaredly/gravitron

o1-labs/snarky

OCaml DSL for verifiable computation

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

FormidableLabs/seattlejsconf-app

ReasonML React Native App for SeattleJS Conf

aantron/bisect_ppx

Code coverage for OCaml and ReScript

jonlaing/rationale

Ramda inspired library of helper functions for ReasonML

aantron/luv

Cross-platform asynchronous I/O and system calls

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

inhabitedtype/ocaml-webmachine

A REST toolkit for OCaml

kennetpostigo/lwt-node

Reason Implementation of Node.js API ✨🏎🚀✨

technomancy/grenchman

Sorry about the name

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

arthaud/c2bf

Compiler from C to brainfuck

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

pyrocat101/opal

Self-contained monadic parser combinators for OCaml

nrnrnr/qc--

Quick C-- compiler (no longer maintained)

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

superhuman/rxxr2

mmottl/pure-fun

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

jaked/ocamljs

Javascript back-end for OCamlc

inhabitedtype/faraday

Serialization library built for speed and memory efficiency

mmottl/lacaml

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

alexozer/flitter

A Livesplit-inspired speedrunning split timer for Linux/macOS terminal. Supports global hotkeys.

mjambon/dune-starter

Simple template for midsize OCaml project

aatxe/oxide

The essence of Rust.

anuragsoni/routes

typed bidirectional router for OCaml/ReasonML web applications

smolkaj/nice-parser

Nice parsers in OCaml without the boilerplate

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.

shakacode/rescript-logger

Logging implementation for ReScript

chenglou/jeason

The crappy js-to-reason converter anyone can contribute to!

mmottl/sqlite3-ocaml

OCaml bindings to the SQLite3 database

jaredly/reason-macros

Template-based macros for Reason/OCaml

c-cube/iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

let-def/insydious

Unlock 10 digits BIOS passwords

jaredly/let-anything

Deprecated, use the reasonml-community one

draperlaboratory/cbat_tools

Program analysis tools developed at Draper on the CBAT project.

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.

liaopeiyuan/zeta

functional neural networks in ocaml

reasonml-community/bs-glamor

BuckleScript bindings for glamor

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

parkerziegler/reason-basics

Notes and samples for understanding the basics of ReasonML.

mmcqd/pure

A pure type system implemented in OCaml

kind2-mc/kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

AjayMT/silk

The Silk Programming Language

walfie/ac-tune-maker

Animal Crossing tune maker

jaredly/hooks-experimental

An experiment using react's new "hooks" with ReasonReact

c-cube/printbox

print nested boxes, lists, arrays, tables in several formats

let-def/wall

(mirror) A vector graphics renderer like NanoVG in OCaml

EchoTeam/ocaml-erlang-port

Support library for OCaml programs running as Erlang ports

Hehk/reason-react-context

A library to add a context library for reason react

mmottl/ocaml-makefile

Easy to use Makefile for small to medium-sized OCaml-projects

hammerlab/ketrew

Keep Track of Experimental Workflows

c-cube/tiny_httpd

Minimal HTTP server using good old threads + blocking IO, with a small request router.

matsen/pplacer

Phylogenetic placement and downstream analysis

jaredly/pack.re

a simple js bundler for reason

seliopou/ocaml-d3

OCaml bindings for D3.js