- 906 downloads
The Goal of Hilbert II is the creation of a system that enables a working mathematician to put the...
- 547 downloads
PetitLambda is an interpreter of lambda calculus.
- 872 downloads
vDEC is a discrete exterior calculus and geometry processing library.
- Artificial Intelligence
- 572 downloads
Logic Reasoner is a theorem prover for first-order logic with equality.
- 755 downloads
Kogame Tools package contains a ogame calculus utilities for KDE Desktop.
- 1,270 downloads
Python lambda calculus module project is a simple but full-featured module for exploring lambda ca...
- 656 downloads
Lambda project is a Lambda calculus interpreter.
- 617 downloads
Ghost Diagrams is a program that takes sets of tiles and tries to find patterns into which they ma...