minimapletinytools / haskell-ffi-cabal-foreign-library-examplesLinks
Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.
☆17Updated 5 years ago
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
Sorting:
- A modern Haskell debugger☆31Updated 3 months ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- Generic functions for single-sorted first-order structural unification☆46Updated 3 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- ICFP tutorial☆39Updated 4 years ago
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- A Really Cool Calculator written in Haskell... or is it?☆43Updated 3 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 6 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated last week
- Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Ple…☆31Updated 2 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- lowlevel set of cryptographic primitives for haskell☆35Updated 3 weeks ago
- ☆23Updated 3 weeks ago
- classical sequent calculus, embedded in Haskell☆21Updated 3 years ago
- Haskell port of the Nanopass Compiler Framework☆22Updated 2 months ago
- ☆25Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆25Updated this week
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- LLVM code generation in Haskell☆54Updated 9 months ago
- A tool suite to aid Haskell development using `cabal-install`☆88Updated 2 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Implementation for ICFP 2020 paper☆54Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Example uses of linear types☆43Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆124Updated last year