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 14 years ago
- Haskell data structures and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, and TFTP packages. Extracted from the House project n…☆13Dec 17, 2024Updated last year
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- sparse matrices in Morton order☆24Aug 9, 2015Updated 11 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.
- Simple terminal string styling in Haskell.☆12Sep 14, 2016Updated 10 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- Desugaring HSE AST☆10May 10, 2013Updated 13 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 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
- The Wheeler symbolic manipulation library☆14Mar 6, 2013Updated 13 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- Embed shell commands with interpolated Haskell variables, and capture output☆11Oct 10, 2011Updated 15 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 11 years ago
- Haskell bindings for OpenCV☆13May 7, 2014Updated 12 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- 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 7 years 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
- Units of measure as a GHC typechecker plugin☆34Jun 8, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Logical relations proof in Agda☆30May 27, 2015Updated 11 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 10 years ago
- 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
- Convert data to and from a natural number representation☆13Apr 16, 2021Updated 5 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- 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
- 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.
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Haskell suite library for name resolution☆52Apr 9, 2025Updated last year
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- A reimplementation of GHC's runtime system in Rust☆15Apr 29, 2014Updated 12 years ago
- Webmachine inspired toolkit for building http applications and services.☆22Sep 13, 2015Updated 11 years ago
- ☆13Sep 5, 2020Updated 6 years ago
Are these results useful?