bordaigorl / stargazerLinks
A simulator for visualising the evolution of π-calculus terms
☆42Updated 3 years ago
Alternatives and similar repositories for stargazer
Users that are interested in stargazer are comparing it to the libraries listed below
Sorting:
- ☆29Updated 10 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Updated 3 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- ☆23Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- ☆62Updated 6 years ago
- ☆47Updated 8 years ago
- (Nominal) Adapton in OCaml☆55Updated 9 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- a logic-based trust-management system☆19Updated 13 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- translations of a lambda abstraction to combinations of operators