😎TT
OCaml 194 14
🦠 Reusable Effects-Based Components
OCaml 28
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
OCaml 191 12
🦠 algaett's not algaeff
OCaml 17
👹 Yuujinchou 友人帳: Name Modifiers 📛
A formalization of the theory behind the mugen library
♾️ 無限: Universe Levels 🌌
🔙 Backward lists for OCaml
📚 Library Management 🔖
A library for handling compiler diagnostics and span-associated metadata
GitHub Action for red* OCaml packages
This organization has no public members. You must be a member to see who’s a part of this organization.
