Alternatives and similar repositories for lio

Users that are interested in lio are comparing it to the libraries listed below

• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆69Updated 6 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated last year
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆35Updated 4 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆45Updated 2 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆50Updated 6 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 5 years ago
• inanna-malick / mononoke
  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
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated 6 months ago
• gallais / agda-nbe
  Formalizing nbe in agda
  ☆31Updated 12 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆59Updated 5 years ago
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆112Updated 5 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆81Updated 7 years ago
• benclifford / acme-smuggler
  Smuggle arbitrary values in ()
  ☆12Updated 2 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆78Updated 5 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆81Updated 11 years ago