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:
- A general purpose programming language with linear types☆43Updated 8 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 9 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- enumerative property-based testing for Haskell☆52Updated last month
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Haskell library for efficiently building up buffers☆26Updated 8 months ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- ☆41Updated 8 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- Fork of official GHC repository.☆44Updated last year
- An append only list in a compact region☆25Updated 7 years ago