Unofficial git mirror of the BER MetaOCaml patchset.

Understand Human Behavior to Align True Needs

Document Generator for Lean 4

Odin Programming Language

Node.js based forum software built for the modern web

A Non-Euclidean Rendering Engine for 3D scenes.

An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.

Experimental WASM Microkernel Operating System

Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

Reimagine state management with CRDTs. Make your app collaborative effortlessly.

joke page until I decide what to do with this domain name

Synthetic geometry. Probably mostly algebraic geometry.

Markdown for the component era

parsec in c++

headless terminal - wrap any binary with a terminal interface for easy programmatic access.

Moonbit Mini C Interpreter

Slither Detectors by Pessimistic.io

Official implementation of AnimateDiff.

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Visualizing the network of math theories.

Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.

physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.

A toy implementation of the EVM in Lean4.

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

💎 Amber the programming language compiled to bash

Session types framework with support of protocol pipelining.

A Testing Framework for Haskell

Never: statically typed, embeddable functional programming language.