PrototypeCommon
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
- Owner
- engboris (personal account)
- Stars
- Stars: 138
- Forks
- Forks: 13
- Language
- OCaml
- License
- GPL-3.0
- Created
- 2023
- Topics
- logiclogic-programmingtranscendental-syntaxformal-methodsproof-assistantverificationtype-theoryformal-specificationunification-theoryoptional-typing
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- jozefg/nbe-for-mlttStars: 138OCamlPrototype
- ml-in-barcelona/jsoo-reactStars: 138OCamlPrototype
- melange-community/create-melange-appStars: 138OCamlPrototype