Container runtimes on macOS (and Linux) with minimal setup

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

A script engine for "yu-gi-oh!" and sample gui

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

🚀 Fast and lightweight sandboxes for your apps and AI agents

A hyperparameter optimization framework

A retargetable MLIR-based machine learning compiler and runtime toolkit.

The modern video player for macOS.

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

GoogleTest - Google Testing and Mocking Framework

Testing, printing, coloring, and other tools to effectively write native Reason code.

❄️ Scala Play + React seed project with full-fledged build process

OCaml JSX for ReasonReact

Vagrant plugin to resize disks in VirtualBox

📝 Revery Workshop Materials

Optimizer and compiler/toolchain library for WebAssembly

ONNX.js: run ONNX models using JavaScript

WebAssembly specification, reference interpreter, and test suite.

Base library and tools for ppx rewriters

A Hyper theme. 💻

A modular sat/smt solver with proof output.

Faithful reimplementation of Minisat 2.2 in OCaml.

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Declarative terminal graphics for OCaml

Terminal manipulation library for OCaml

Master programming by recreating your favorite technologies from scratch.

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Scala GraphQL implementation

Experimental toolchain to compile and run Chainer models

Range library for C++14/17/20, basis for C++20's std::ranges