just a place to throw some coding experiements while i re-re-re-learn rust
☆15Jul 31, 2022Updated 3 years ago
Alternatives and similar repositories for kanso
Users that are interested in kanso are comparing it to the libraries listed below
Sorting:
- A tiny wiki engine. (Fossil Export)☆13Jul 29, 2023Updated 2 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆17Feb 16, 2026Updated 2 weeks ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 3 months ago
- Rust grammar for Lezer☆22Feb 14, 2024Updated 2 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- Compiler and tooling for the Myte programming language.☆28Mar 6, 2023Updated 3 years ago
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- ☆32Apr 17, 2023Updated 2 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated last month
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆31Feb 24, 2022Updated 4 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- A verified compiler for a lazy functional language☆39Feb 27, 2026Updated last week
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- 🥰 A picture book translation project. I hope you like it.☆11Jan 28, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆10Oct 17, 2020Updated 5 years ago
- Maybe taking the appartus isn't such a great idea...☆10Jul 23, 2024Updated last year
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Playing with type systems☆51Dec 29, 2024Updated last year
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 2 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Apr 6, 2024Updated last year
- UnityEditor tool for Lethal Company that patches AssetRipper generated guids with the correct ones from the installed packages on your pr…☆11Dec 29, 2023Updated 2 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- The security airlock is the entry point to a rocket. Everything from the outside environment that wants to enter a rocket, needs to go th…☆10Oct 2, 2024Updated last year
- Minimalist compiler course, based on Essential of Compilation☆11Updated this week