pavelchristof / syntax
Reversible parsing and pretty-printing.
☆14Updated 9 years ago
Related projects: ⓘ
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- Fuzzy string search in Haskell☆14Updated 8 months ago
- An experiment in functional interface design☆23Updated 7 years ago
- An efficient graph library for Haskell☆39Updated last month
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Open records for Haskell☆22Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆26Updated 5 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated 11 months ago
- ☆20Updated 7 years ago
- Invertible parsing for S-expressions☆33Updated last week
- Show programming language printed values in a web UI☆24Updated 5 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 2 years ago
- Traditional sparse linear algebra in Haskell☆12Updated 3 years ago
- :fork command for ghci☆21Updated 5 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Automatic type class law checking.☆24Updated 9 months ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 6 years ago