educational compiler for not (quite) toy languages
☆21Apr 11, 2019Updated 6 years ago
Alternatives and similar repositories for ill
Users that are interested in ill are comparing it to the libraries listed below
Sorting:
- No control flow, only exceptions☆10Dec 13, 2018Updated 7 years ago
- Slides and sources for talks on Tree Borrows☆14Dec 5, 2025Updated 3 months ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Feb 25, 2026Updated last week
- Elaborate and expressive S-Expression library for Haskell☆65Jul 17, 2024Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Oct 25, 2024Updated last year
- Community edition of Nightfall_4☆16Feb 27, 2026Updated last week
- kintone official MCP server☆36Updated this week
- ☆10Sep 17, 2023Updated 2 years ago
- Adaptator between Stream/Sink and AsyncRead/AsyncWrite☆12Feb 5, 2022Updated 4 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- Nameko extension exposing a structlog dependency injector☆10Dec 20, 2021Updated 4 years ago
- Classic games recreated in netwire☆95Feb 7, 2017Updated 9 years ago
- source code for the bondi programming language☆45Feb 17, 2019Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- ☆11Sep 10, 2024Updated last year
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- Manage local projects initially loaded☆16May 31, 2017Updated 8 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- App for tracking dependencies for Palantir's public repos.☆11Jan 19, 2023Updated 3 years ago
- A direct replacement for `assert_eq` for unordered collections☆13Apr 17, 2022Updated 3 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆12Sep 5, 2022Updated 3 years ago
- ☆15Aug 24, 2019Updated 6 years ago
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- ☆11Updated this week
- this is a bunch of old max/msp genexpr code for various filters, effects. oscillators and such all written around 2018☆17Sep 11, 2021Updated 4 years ago
- ☆11Feb 27, 2026Updated last week
- ☆10Jul 29, 2024Updated last year
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 2 years ago