ekmett / kansoView external linksLinks
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
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- the ever-shifting depths of the Underworld are not as once they were...☆17Feb 1, 2026Updated 2 weeks ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 3 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 2 months ago
- Rust grammar for Lezer☆22Feb 14, 2024Updated 2 years ago
- Compiler and tooling for the Myte programming language.☆28Mar 6, 2023Updated 2 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 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
- ☆31Apr 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 3 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 week
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆31Feb 24, 2022Updated 3 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 4, 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 picture book translation project. I hope you like it.☆11Jan 28, 2023Updated 3 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆10Oct 17, 2020Updated 5 years ago
- Maybe taking the appartus isn't such a great idea...☆10Jul 23, 2024Updated 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
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- Playing with type systems☆51Dec 29, 2024Updated last year
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Apr 6, 2024Updated last year
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago