1Computer1 / errata
Source code error pretty printing
☆48Updated 8 months ago
Related projects: ⓘ
- A discord frontend for an interactive interpreter bot☆22Updated last year
- ☆9Updated 3 years ago
- A secure process-level sandbox based on a ptrace jail☆12Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆117Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Small library for braillizing images☆17Updated 4 years ago
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- small programming language. pls be gentle.☆39Updated 3 months ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- A simple functional programming language.☆20Updated 3 years ago
- Inigo: A Package Manager for Idris2☆60Updated last year
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated last year
- Statically typed, high-level functional programming language.☆12Updated 3 years ago
- Final project for EECS 368 written in Haskell☆23Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Like APL, but with emojis☆16Updated 2 years ago
- ⚖️ Trial Data Type☆20Updated 4 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Subtyping calculus of inductive constructions☆51Updated 9 months ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated 11 months ago
- An unofficial Idris2 package repository for Nix☆45Updated last year
- Package manager for Idris☆35Updated 2 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 6 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆64Updated 7 months ago
- 🏝 Bidirectional TOML serialization☆120Updated 3 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 4 months ago
- koneko - a concatenative not-quite-lisp for kittens☆21Updated 3 weeks ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆25Updated last year
- A TOML parser for Idris 2☆15Updated 2 months ago
- Duo - A research language exploring duality in programming language design☆54Updated last year