Solves Calculus based equations

Mathematica energy in the terminal — an exact-first math CLI with symbolic calculus, matrices, plotting, user functions, and honest errors. No LLM, pure local math.

Transpile pi-calculus in Go

AWS Lambda CLI to quickly generate Nodejs Lambda functions along with a CI/CD pipeline.

Simple Kombinator Interpreter - a combinatory logic & lambda calculus parser and interpreter. Supports SKI, BCKW, Church numerals, and setting up assertions ('quests') involving all of the above.

Untyped lambda calculus to Grass compiler

Small math function library

A function is a set of statements that performs a task or calculates a value.

A powerful TypeScript math library providing arithmetic, number theory, statistics, and geometry operations. Easy to integrate into any Node.js or browser project.

MaiaStudio (The MaiaScript IDE) MaiaScript is a programming language aimed at developing adaptable and intelligent applications.

Lambda calculus evaluator and debugger.

Hydra programming language kernel

Calculates fee and amortization table for a loan, given an amount, interest and amortization period in months

Optimal evaluation of some lambda terms

A safe engineering calculator for React with document and canvas insertion adapters.

> Syntax without representation is tyranny. > > -- Sussman's mantra

Cruel Lambda Thesis

Function and calculus figures for AIGUI — curves, tangents, areas, Riemann sums, computed from an expression rather than from sampled points.

Display surv completion percentage

Visual math editor component for solutest.id — CKEditor replacement with zero-LaTeX approach