Functional teaching language for use in a discrete mathematics course
☆183Oct 17, 2026Updated last week
Alternatives and similar repositories for disco
Users that are interested in disco are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a functional programming language with algebraic effects and handlers☆84Feb 17, 2025Updated last year
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- experimenting with unlifted classes via backpack☆36Aug 17, 2022Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆90Sep 13, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Efficient Haskell effect handlers based on evidence translation.☆87Jul 19, 2021Updated 5 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆126Aug 27, 2026Updated 2 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216May 7, 2023Updated 3 years ago
- Optics as an abstract interface☆389Aug 1, 2026Updated 2 months ago
- An implementation of Pie in Haskell☆215Nov 8, 2019Updated 6 years ago
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 6 years ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- Yet another concurrent playground☆32Nov 18, 2015Updated 10 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆397Oct 23, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆86Sep 24, 2026Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆560May 5, 2023Updated 3 years ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 8 years ago
- Kempe is a compiled stack-based language☆58Sep 30, 2024Updated 2 years ago
- Miscellaneous constructions on monoids☆24Apr 17, 2026Updated 6 months ago
- Demo for high-performance type theory elaboration☆611Feb 2, 2026Updated 8 months ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- an implementation of stuck macros☆155Aug 30, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆17Dec 22, 2012Updated 13 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- Build system☆139Oct 24, 2025Updated last year
- Flexible Haskell library for parsing and printing S-Expressions☆21Oct 30, 2024Updated 2 years ago
- A modern, extensible and well-documented prettyprinter.☆309Sep 10, 2026Updated last month
- A library for interacting with Nintendo Switch controllers, written in Haskell.☆113Jan 20, 2023Updated 3 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Algebraic graphs for Elm☆12Jul 20, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Apr 17, 2022Updated 4 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆377May 14, 2023Updated 3 years ago
- Frank compiler☆311Apr 23, 2024Updated 2 years ago
- Standard library for linear types in Haskell.☆361Oct 24, 2026Updated last week
- ☆13Nov 1, 2021Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆86Oct 7, 2026Updated 3 weeks ago