The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
☆15Feb 15, 2018Updated 8 years ago
Alternatives and similar repositories for pico
Users that are interested in pico are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 8 years ago
- "Preload" Haskell packages to override them☆12Dec 3, 2018Updated 7 years 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.
- ☆23May 22, 2020Updated 6 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Terminal based virtual piano in Haskell, with ncurses and Euterpea☆18Nov 14, 2017Updated 8 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 9 years 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.
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆14Nov 19, 2017Updated 8 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 7 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 12 years ago
- optics for Haskell with the most amazing type errors you've seen☆240Jan 18, 2020Updated 6 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Succinct vectors☆20Dec 29, 2018Updated 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.
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 7 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- A lambda calculus to explore type-directed program synthesis.☆86Jan 20, 2020Updated 6 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆60Jul 24, 2025Updated last year
- Backports of GHC deriving extensions☆14Jun 17, 2026Updated 4 months ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- Starfield renderer☆11Jun 26, 2019Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆67Apr 17, 2018Updated 8 years ago
- A monadic interface for DAG construction.☆25May 11, 2021Updated 5 years 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.
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- ☆26Aug 11, 2023Updated 3 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 13 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 8 years ago
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 8 years ago
- Refined types☆57Sep 25, 2018Updated 8 years ago