Demostration of FFI from Agda -> Haskell -> C in one project
☆12Apr 15, 2013Updated 13 years ago
Alternatives and similar repositories for agda-haskell-c-ffi-layer-cake
Users that are interested in agda-haskell-c-ffi-layer-cake are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 13 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- sparse matrices in Morton order☆24Aug 9, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- The Wheeler symbolic manipulation library☆14Mar 6, 2013Updated 13 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Haskell bindings for OpenCV☆13May 7, 2014Updated 12 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- Units of measure as a GHC typechecker plugin☆34Jun 8, 2026Updated 4 months ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- ☆12May 10, 2017Updated 9 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- Cayley-Dickson constructions☆11Nov 30, 2015Updated 10 years ago
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Convert data to and from a natural number representation☆13Apr 16, 2021Updated 5 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Logical relations proof in Agda☆30May 27, 2015Updated 11 years ago
- ☆13Sep 5, 2020Updated 6 years ago
- A reimplementation of GHC's runtime system in Rust☆15Apr 29, 2014Updated 12 years ago
- GHC version of haskell-src-exts exactPrint☆73Oct 6, 2026Updated 2 weeks ago
- Webmachine inspired toolkit for building http applications and services.☆22Sep 13, 2015Updated 11 years ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 9 months ago
- Experimental support for coroutines-based generators in Ada☆13Nov 5, 2022Updated 3 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Yet another concurrent playground☆32Nov 18, 2015Updated 10 years ago
- A generic, derivable, haskell pretty printer - Research project, summer of 2011☆10Nov 10, 2019Updated 6 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Toy example — How can GHC optimize monad transformers?☆11Nov 8, 2016Updated 9 years ago