PLSysSec / lioLinks
Labeled IO Library
☆57Updated 4 years ago
Alternatives and similar repositories for lio
Users that are interested in lio are comparing it to the libraries listed below
Sorting:
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Type provider library for Idris☆94Updated 7 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Idris LLVM codegen factored out☆80Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Compact regions library for Haskell☆82Updated 11 months ago
- Inline, type safe X86-64 assembly programming in Agda☆69Updated 6 years ago
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 3 weeks ago
- The Software Foundations book, in GHC☆82Updated 5 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- ☆75Updated 3 months ago
- Session Types with Priority in Linear Haskell☆26Updated 11 months ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Updated 2 years ago
- enumerative property-based testing for Haskell☆53Updated 4 months ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Smuggle arbitrary values in ()☆12Updated 2 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- ☆45Updated 3 years ago