This organization was marked as archived by an administrator on Apr 22, 2025. It is no longer maintained.
Pomagma
Tools for Extensional Probabilistic λ-calculus
Popular repositories Loading
-
puddle
puddle Public archiveForked from fritzo/puddle
A reactive coding environment built on Pomagma
JavaScript 1
-
puddle-syntax
puddle-syntax Public archiveForked from fritzo/puddle-syntax
Syntax tools for the Puddle coding environment
JavaScript
-
-
-
Repositories
Showing 5 of 5 repositories
- puddle-syntax Public archive Forked from fritzo/puddle-syntax
Syntax tools for the Puddle coding environment
pomagma/puddle-syntax’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…