ucsd-progsys / liquid-sf
Port "Software Foundations" to LiquidHaskell
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for liquid-sf
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Generic pretty-printer for program output☆12Updated 9 months ago
- ☆13Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- A natural transformation package☆16Updated last week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- High-performance JSON parser☆24Updated 6 months ago
- Linear map categories in Agda☆5Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago
- Visualization of Haskell data structures☆14Updated 8 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Updated 5 months ago
- Reification of data structures using observable sharing☆28Updated last week
- higher-kinded data☆30Updated last year
- Funny little Haskell impl☆18Updated 4 years ago
- Fast ByteString Builder☆22Updated 2 months ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Zippers for cofree types☆12Updated 2 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- QuickCheck extension for higher-order properties☆17Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago