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:
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- Higher-order optimization library☆76Updated 2 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Updated 6 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 11 months ago
- Example row-polymorphism implementations☆61Updated last year
- A monad for interfacing with external SAT solvers☆64Updated 2 months ago
- Haskell Join-calculus DSL☆23Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- IO using sized types and copatterns☆35Updated 4 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- System F-omega normalization by hereditary substitution in Agda☆60Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 9 months ago
- ☆41Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- enumerative property-based testing for Haskell☆52Updated 3 weeks ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- ☆17Updated 3 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 7 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago