Alternatives and similar repositories for haskell-ffi-cabal-foreign-library-examples

Users that are interested in haskell-ffi-cabal-foreign-library-examples are comparing it to the libraries listed below

• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆31Updated 2 months ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆43Updated 3 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 5 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆56Updated last year
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆54Updated 4 years ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆59Updated last year
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 2 weeks ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated this week
• cdupont / Timeloop
  ☆41Updated last year
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated last week
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 6 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• haskellari / some
  Existential type.
  ☆37Updated 6 months ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 10 months ago
• faulhornlabs / csip
  ☆23Updated this week
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 8 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last week
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆26Updated last year
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year