mikeizbicki / parsed
a haskellified version of the classic sed unix tool
☆21Updated 10 years ago
Alternatives and similar repositories for parsed:
Users that are interested in parsed are comparing it to the libraries listed below
- Experiments on the construction of functions☆29Updated 9 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Updated 9 years ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- ☆97Updated 7 years ago
- ☆116Updated 9 years ago
- ☆26Updated 8 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- ☆28Updated 9 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- Cabal Sandbox manager☆14Updated 8 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Updated 2 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆17Updated 9 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- Install binary packages in a temporary Cabal sandbox☆16Updated 9 years ago
- Using GHC with musl libc to get true static linking☆75Updated 9 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- GNU bash backend for Idris☆53Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- ☆17Updated 2 years ago
- ☆25Updated 8 years ago
- ELF data structures for Haskell☆24Updated last year