A massively parallel, high-level programming language

Context sensitive completion for OCaml in Vim and Emacs

View HTTP/HTTPS requests made by any Linux program

An extensible framework for interacting with tests within NeoVim.

QuickCheck inspired property-based testing for OCaml.

Open-source high-performance RISC-V processor

Large Concept Models: Language modeling in a sentence representation space

Compiler from OCaml to Javascript.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A collection of awesome things regarding Reason/OCaml ecosystem.

The core OCaml system: compilers, runtime system, base libraries

A generative world for general-purpose robotics & embodied AI learning.

Formal to Formal Mathematics Benchmark

the LLM vulnerability scanner

Main engine of the IronCalc ecosystem

Rust actor framework

The de facto operating system developed for the cult of Ayumu "Osaka" Kasuga.

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

zig nifs in elixir

Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.

Comprehensive framework for building web applications in Rust.

Mirror of https://git.ffmpeg.org/ffmpeg.git

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.

An extensible, state-of-the-art columnar file format

The Gosub browser engine