PrototypeCommune
Risto-Stevcev/bastet
A ReasonML/Ocaml library for category theory and abstract algebra
Archivé : ce dépôt n’évolue plus
- Propriétaire
- Risto-Stevcev (compte personnel)
- Étoiles
- Étoiles : 214
- Forks
- Forks : 27
- Langage
- OCaml
- Licence
- BSD-3-Clause
- Création
- 2017
- Sujets
- bucklescriptreasonreasonmlcategory-theoryabstract-algebrapreludecategorytheoryabstractalgebra
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- technomancy/grenchmanÉtoiles : 215OCamlPrototype
- Beluga-lang/BelugaÉtoiles : 215OCamlPrototype
- jhjourdan/C11parserÉtoiles : 215OCamlPrototype
- mfp/extprotÉtoiles : 212OCamlPrototype
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- PLSysSec/FaCTÉtoiles : 210OCamlPrototype