charlielidbury / ochreView external linksLinks
A systems theorem prover
☆11Jun 25, 2024Updated last year
Alternatives and similar repositories for ochre
Users that are interested in ochre are comparing it to the libraries listed below
Sorting:
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated last year
- A language for modular probabilistic modelling in Haskell based on effect handlers☆18Dec 30, 2023Updated 2 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆22Nov 5, 2025Updated 3 months ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆95Mar 23, 2024Updated last year
- ☆11Feb 8, 2023Updated 3 years ago
- Extensions (e.g. drawing functions) for stumpy_core☆10Sep 18, 2020Updated 5 years ago
- currently vaporware☆12Aug 25, 2020Updated 5 years ago
- A lightweight, customizable, interpreted programming language☆12Nov 10, 2019Updated 6 years ago
- ☆17Feb 11, 2024Updated 2 years ago
- Barebones Minecraft server in Rust☆21Oct 7, 2014Updated 11 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 7 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- Implementation of the glicko2 rating system in Rust☆10Nov 8, 2024Updated last year
- A portable environment for Urbit dev☆11Jun 30, 2022Updated 3 years ago
- Lisp compiler & bytecode VM☆15May 31, 2020Updated 5 years ago
- waccOS, an operating system kernel written in WACC.☆12Mar 8, 2019Updated 6 years ago
- Rust wrapper around the todoist sync API☆10Aug 29, 2022Updated 3 years ago
- Advent of Code... in Hoon!☆10Dec 4, 2022Updated 3 years ago
- A file storage and discovery app for Urbit☆12Jan 28, 2023Updated 3 years ago
- Structured decompositions!☆15Mar 26, 2025Updated 10 months ago
- A framework for working with inference rules.☆10Sep 14, 2021Updated 4 years ago
- ☆15Nov 20, 2025Updated 2 months ago
- ☆14Sep 10, 2023Updated 2 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- xmonadの設定☆10Nov 12, 2018Updated 7 years ago
- Stack Exchange for Urbit☆13Aug 26, 2023Updated 2 years ago
- Proof of concept for type system with unions, intersections and complements.☆15Apr 21, 2023Updated 2 years ago
- ☆14Jan 31, 2021Updated 5 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- A JS client-side library for creating graphic and interactive experiences, based on the core principles of Processing.☆11Oct 3, 2016Updated 9 years ago
- Rust crate for eager macro expansion☆13Jan 24, 2020Updated 6 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆26Updated this week
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆15Dec 9, 2022Updated 3 years ago
- ML algorithms implemented from scratch and provided block by block☆12Dec 30, 2019Updated 6 years ago
- Twitter scraping library☆11Nov 11, 2021Updated 4 years ago
- A small, secure, and auditable "Change My Password" web application.☆12Mar 9, 2016Updated 9 years ago
- An editor for non-euclidean worlds.☆19Apr 21, 2023Updated 2 years ago