PrototypeCommon
Risto-Stevcev/bastet
A ReasonML/Ocaml library for category theory and abstract algebra
Archived: this repository is read-only
- Owner
- Risto-Stevcev (personal account)
- Stars
- Stars: 214
- Forks
- Forks: 27
- Language
- OCaml
- License
- BSD-3-Clause
- Created
- 2017
- Topics
- bucklescriptreasonreasonmlcategory-theoryabstract-algebrapreludecategorytheoryabstractalgebra
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- technomancy/grenchmanStars: 215OCamlPrototype
- Beluga-lang/BelugaStars: 215OCamlPrototype
- jhjourdan/C11parserStars: 215OCamlPrototype
- mfp/extprotStars: 212OCamlPrototype
- rocq-community/rocq-lspStars: 212OCamlPrototype
- PLSysSec/FaCTStars: 210OCamlPrototype