Advertisement
Discrete Event Calculus Reasoner
Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning....
event calculus Commonsense Reasoning Discrete event calculus
Python lambda calculus module
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus....
vDEC
vDEC is a discrete exterior calculus and geometry processing library....
processing Geometry exterior calculus geometry processing library geometry simulation
PetitLambda
PetitLambda is an interpreter of lambda calculus....
interpreter calculus lambda calculus lambda interpreter lambda terms
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Lambda
Lambda project is a Lambda calculus interpreter....
interpreter calculus lambda calculus interpreter lambda expressions
Kogame Tools
Kogame Tools package contains a ogame calculus utilities for KDE Desktop....
game utilities Ogame calculus ogame calculus calculus utilities
Symia
A C++ library to perform symbolic calculus tasks...
C++ library calculus computation symbolic computation symbolic