Parse yer YAMLs

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

A language for building concurrent software with confidence

nqthm - the original Boyer-Moore theorem prover, from 1992

cuprous logic simulator

Sail architecture definition language

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Haskell implemented with combinators

The home of the CUE language! Validate and define text-based and dynamic configuration

Implementation for MatMul-free LM.

TBLIS is a library and framework for performing tensor operations, especially tensor contraction, using efficient native algorithms.

YAML parser for Dyalog APL

A portable programming language with a compact intermediate representation

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

MLIR For Beginners tutorial

Code for A Programmer's Introduction to Mathematics

A compiler for homomorphic encryption

Implementations of the Inflation Technique for Causal Inference.

A framework for applied category theory in the Julia language

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

A high performance Python graph library implemented in Rust.

Hash function quality and speed tests

Very fast, high quality, platform-independent hashing algorithm.

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Blues Jackrabbit

Truck is a Rust CAD Kernel.