PLSysSec / lio

Related projects ⓘ

Alternatives and complementary repositories for lio

• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 4 months ago
• haskell / hoopl
  Higher-order optimization library
  ☆73Updated last year
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆40Updated 6 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆59Updated last year
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆58Updated last year
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• ekmett / codex
  UI experiments for coda
  ☆65Updated 3 years ago
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated last year
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 3 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆90Updated 3 weeks ago
• yav / type-nat-solver
  A plugin for solving numeric constraints in GHC's type-checker
  ☆50Updated 3 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆92Updated 6 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated 9 months ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last year
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• frex-project / haskell-frex
  ☆23Updated last year