PrototypeCommune
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
- Propriétaire
- engboris (compte personnel)
- Étoiles
- Étoiles : 138
- Forks
- Forks : 13
- Langage
- OCaml
- Licence
- GPL-3.0
- Création
- 2023
- Sujets
- logiclogic-programmingtranscendental-syntaxformal-methodsproof-assistantverificationtype-theoryformal-specificationunification-theoryoptional-typing
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- jozefg/nbe-for-mlttÉtoiles : 138OCamlPrototype
- ml-in-barcelona/jsoo-reactÉtoiles : 138OCamlPrototype
- melange-community/create-melange-appÉtoiles : 138OCamlPrototype