ucsd-progsys / lh-workshop
Materials for 2-hr LiquidHaskell Workshop
☆11Updated 2 years ago
Related projects: ⓘ
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- fast utf-8 character sets☆13Updated 9 months ago
- Invertible parsing for S-expressions☆33Updated this week
- Some useful control operators for looping☆47Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Deep evaluation of data structures☆40Updated last week
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- A natural transformation package☆16Updated 11 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆19Updated last month
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 10 months ago
- ☆23Updated 7 years ago
- ☆23Updated 9 years ago
- Quiver stream processing library☆15Updated 7 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- The most complete prelude formed only from the "base" package☆28Updated 11 months ago
- Church-encoding of the Freer monad☆29Updated 7 years ago
- Yet another concurrent playground☆32Updated 8 years ago
- Try Idris☆36Updated 9 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- Austin's supercompiler work☆21Updated 4 years ago
- phantom types☆37Updated 6 months ago
- Visualization of Haskell data structures☆14Updated 7 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 5 years ago