1Computer1 / errata
Source code error pretty printing
☆47Updated 2 months ago
Alternatives and similar repositories for errata:
Users that are interested in errata are comparing it to the libraries listed below
- A library for writing discord bots in haskell☆115Updated 4 months ago
- A discord frontend for an interactive interpreter bot☆22Updated last year
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- ☆9Updated 3 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 6 months ago
- Small library for braillizing images☆18Updated 5 years ago
- a functional programming language with algebraic effects and handlers☆81Updated this week
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- A secure process-level sandbox based on a ptrace jail☆14Updated last year
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated 2 years ago
- Automatically import Haskell modules.☆21Updated 2 weeks ago
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 4 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- Source code for haskle.net☆31Updated last year
- A Haskell 2010 type checker☆16Updated 11 months ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 4 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- An experiment of formatting .cabal files☆107Updated 8 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆90Updated 6 months ago
- Like APL, but with emojis☆15Updated 2 years ago
- Convert values from one type into another.☆77Updated this week
- [🚀 Work In Progress] Compiler frontend for the PureScript programming language.☆55Updated this week
- A simple functional programming language.☆21Updated 3 years ago
- NullPointerExceptions in Haskell☆58Updated 7 years ago
- Package manager for Idris☆35Updated 2 years ago
- Final project for EECS 368 written in Haskell☆23Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago