a BQN implementation in C

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Private & local AI personal knowledge management app for high entropy people.

Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second 🚀

A markup-based typesetting system that is powerful and easy to learn.

Markdown Preview Language Server

An APL-like programming language

A modern Prolog implementation written mostly in Rust.

Python bindings for OAT

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

A safe, easy systems language

JSON for Modern C++

Latex code for making neural networks diagrams

Rayon: A data parallelism library for Rust

Uniform Manifold Approximation and Projection

An idiomatic, lean, fast & safe pure Rust implementation of Git

Compiler for the Mirth programming language.

A library for functional programming in Rust

A purely functional programming language with first class types

A programming language with static memory management based on λ-calculus

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

A Rust crate for manipulating HTML with CSS selectors

Proving a blocking queue deadlock free in a dozen different ways

An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Material for the "Category Theory as a Tool for Thought" talk

A Python backend for PureScript.

GNU-Make-like utility for managing builds and complex workflows

Self updates for rust executables

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions