PLSysSec / lioLinks
Labeled IO Library
☆59Updated 5 years ago
Alternatives and similar repositories for lio
Users that are interested in lio are comparing it to the libraries listed below
Sorting:
- Compositional type checking for Haskell☆38Updated 14 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- ☆17Updated 3 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Updated 3 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated this week
- Type provider library for Idris☆95Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆47Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last year
- UI experiments for coda☆66Updated 4 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Updated 6 years ago
- Measure time complexity empirically.☆48Updated 10 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 3 years ago