Structured data editor built inside VS Code

BaseX Main Repository.

Torrekie's patches for released iOS packages

Animations of lambda term reduction sequences

Embeddable Lambda Prolog Interpreter

A blueprint for a formalization of infinity-cosmos theory in Lean.

Ghidra is a software reverse engineering (SRE) framework

Reko is a binary decompiler.

Automatic testing of MoonBit programs

The root repository for the SpectralSequences project.

Incremental computation through constrained memoization.

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Extensible, Efficient Quantum Algorithm Design for Humans.

A project to digitalise results from high energy physics into Lean.

Functional Enumeration of Algebraic Types in MoonBit

Terminal string styling support for MoonBit.

A fast, flexible, fused effect system for Haskell

A modular functional web framework

A curated list of awesome tools and technology to help you out with ricing on linux

A modern supercompiler for call-by-value functional languages

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.