I/O primitives and event loop for async I/O in Rust

OmniPaxos is a distributed log implemented as a Rust library.

Quake GPL Source Release

Community fork of PlayCover

A Proof-oriented Programming Language

UCLID5: formal modeling, verification, and synthesis of computational systems

A PyTorch implementation of "Predict then Propagate: Graph Neural Networks meet Personalized PageRank" (ICLR 2019).

MoviE Text Audio QA (MetaQA): a benchmark dataset for question answering

x86 PC emulator and x86-to-wasm JIT, running in the browser

A PyTorch implementation of "SimGNN: A Neural Network Approach to Fast Graph Similarity Computation" (WSDM 2019).

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

A simple but powerful anime downloader and streamer.

A python Linear Programming API

✨Cross-platform set of tools for building native UIs with Reason/OCaml

Standard IO Library for OCaml

Jane Street Capital's standard library overlay

Standard library for OCaml

A collection of resources on modern C++

OCaml Language Server Protocol implementation

How to create an OS from scratch

Compiler from OCaml to Javascript.

A library for efficient similarity search and clustering of dense vectors.

The functional Haskell kernel

Modern C++ Cheatsheet

Statistics-driven benchmarking library for Rust

A Rust library for random number generation.