Python framework for building efficient data pipelines. It promotes modularity and collaboration, enabling the creation of complex pipelines from simple, reusable components.

A modern computer algebra library for Python and Rust.

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

Python library for creating PEG parsers

Visualize, create, and operate on pytrees in the most intuitive way possible.

A HOL-based framework for reasoning over knowledge graphs

A tool for proving and organizing general theorems using Python.

Just save my record on github...

Python tagged unions (aka sum types, algebraic data types, etc.) with match capabilities

Some more derive(Trait) options

Python RETE algorithm

GTP engine and self-play learning in Go

Implementation of higher-order logic in Python

An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"

Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.

Building a modern functional compiler from first principles. (http:https://dev.stephendiehl.com/fun/)

Counterexamples in Type Systems

A pipeline building library based on Arrows.

Generic functional programming library for Python

The Phix Programming Language

Pythonic quantum-classical programming language

Agda formalisation of second-order abstract syntax

Resources for Learning PLT Redex

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Lambda Calculus Project

Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.