Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

purescript-purview

A UI library based on the incremental lambda calculus

PureScript111mit

6 years ago

Scavenger

A theorem prover based on the conflict resolution calculus

Scala5other

3 years ago