Octachron / roguetypeLinks
The first ever roguelike written in the OCaml type system
☆94Updated 10 months ago
Alternatives and similar repositories for roguetype
Users that are interested in roguetype are comparing it to the libraries listed below
Sorting:
- A fancy diagnostics library that allows your compilers to exit with grace☆87Updated last month
- Interoperable effects based concurrency☆142Updated 2 weeks ago
- A tool-agnostic formal specification language for OCaml.☆155Updated 2 months ago
- 2d game engine for OCaml☆74Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆50Updated last month
- A functional programming language with shell scripting capabilities☆131Updated last month
- A pure type system implemented in OCaml☆78Updated 5 years ago
- Software Transactional Memory for OCaml☆135Updated 7 months ago
- 🩺 A library for compiler diagnostics☆52Updated 2 months ago
- Realtime grep for OCaml/Coq sources available on opam☆87Updated last year
- Purely functional GUI algebra☆81Updated 10 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆73Updated 3 weeks ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Updated 7 months ago
- Turn opam-based OCaml projects into Nix derivations☆148Updated last week
- 🦠 Reusable components based on algebraic effects☆51Updated 2 months ago
- Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.☆154Updated last week
- Documentation of the OCaml implementation☆53Updated 2 years ago
- A declarative command-line parser for OCaml☆46Updated last month
- NES emulator in OCaml☆43Updated 2 years ago
- build-once run-anywhere OCaml programs☆139Updated last month
- Lock-free data structures for multicore OCaml☆262Updated 8 months ago
- Stdlib for the Rocq Prover☆31Updated last week
- A Deductive Verification Tool for OCaml Programs☆76Updated 4 months ago
- OxCaml Parallelism☆37Updated 3 weeks ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A "implementation" of Girard's paradox in OCaml☆110Updated 10 years ago
- Lightweight document☆147Updated 4 months ago
- PBT testsuite and libraries for testing multicore OCaml☆43Updated last week
- Compile OCaml to standalone ANSI C file☆45Updated 2 months ago
- A toy language based on LLVM that implements the System Fω type-system☆114Updated 2 years ago