ucsd-progsys / lh-workshop
Materials for 2-hr LiquidHaskell Workshop
☆11Updated 3 years ago
Alternatives and similar repositories for lh-workshop:
Users that are interested in lh-workshop are comparing it to the libraries listed below
- A natural transformation package☆16Updated 3 months ago
- fast utf-8 character sets☆13Updated 2 months ago
- Deep evaluation of data structures☆41Updated 5 months ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- Visualization of Haskell data structures☆15Updated last year
- Fixed length vector for haskell☆21Updated last month
- Dependently typed elimination functions using singletons☆28Updated last month
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 2 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- ☆23Updated 7 years ago
- ☆44Updated 2 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Haskell's Core in K.☆20Updated 7 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Structured logging solution.☆35Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A text editor zipper libary☆17Updated 3 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Haskell types and parsers for software version numbers.☆20Updated 2 weeks ago
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Extensible type-safe unions for Haskell☆33Updated 5 months ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- phantom types☆38Updated 2 weeks ago
- Yet another concurrent playground☆32Updated 9 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 3 months ago
- higher-kinded data☆30Updated last year
- Show programming language printed values in a web UI☆24Updated 5 years ago