The QuantaLang compiler — an effects-oriented systems language with multi-backend codegen (C, HLSL, GLSL, SPIR-V, LLVM IR, WebAssembly, x86-64, ARM64)
The Grand Unification crate — all 14 executable theorems project from one spectral triple (A, H, D)
Rex: A strongly-typed, pure, implicitly parallel functional programming language
Extensible, strongly-typed units of measure, with a custom type system (based on F#'s unit of measures) implemented as a linter.
Linter for yaiouom. If you're using yaiouom, you want to use yaiouom-checker :)
A Hindley-Milner polymorphic typing system.
rslogic is a logic programming framework for Rust inspired by µKanren.
General-purpose build artifact generation crate
Procedural macros for Ekege: An E-graph library that's built like a database
Abstract and term rewriting systems for the Amari library
Common data structures for the BHC compiler
Intermediate representation (IR) and AST types for TensorLogic
UnificationAssertion defines +assert_unifiable+ assertion to test if given two values are unifiable.
UnificationAssertion defines +assert_unifiable+ assertion to test if given two values are unifiable. I only made this gem because Soutaro hadn't pushed it to rubygems yet.