minimapletinytools / haskell-ffi-cabal-foreign-library-examples
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++.
☆16Updated 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
- A modern Haskell debugger☆30Updated last year
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- System F-omega normalization by hereditary substitution in Agda☆58Updated 5 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated 3 weeks ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆56Updated 4 years ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last month
- A Really Cool Calculator written in Haskell... or is it?☆41Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- A tutorial on how Agda infers things☆41Updated 4 years ago
- Example language server (LSP) implementation for a toy language☆59Updated 3 years ago
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Generic functions for single-sorted first-order structural unification☆43Updated 3 weeks ago
- ☆21Updated this week
- NbE course @ Chalmers☆28Updated 7 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Category theory formalized in cubical agda☆20Updated 5 years ago
- Reimplementation of Parsley in Haskell, with improvements☆52Updated last year
- ☆18Updated 4 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 3 weeks ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- ☆23Updated last year
- Compiler backend for generating Scheme code☆26Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year