icicle-lang / jetski-ambiata
Runtime compilation and invocation of C.
☆10Updated 6 years ago
Alternatives and similar repositories for jetski-ambiata:
Users that are interested in jetski-ambiata are comparing it to the libraries listed below
- Web frontend for GHC☆12Updated 5 years ago
- generalize counter-examples of property-based testing☆13Updated 2 months ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Updated 9 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- Blazing fast signature detection☆11Updated 2 years ago
- ListT done right☆15Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 8 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 6 months ago
- Experimental implementation of generic record subtyping☆18Updated 11 months ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Type-level assertion operators☆16Updated 7 years ago
- Content for the stackage.org site☆10Updated last week
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Deep evaluation of data structures without NFData☆10Updated 10 years ago
- An output coverage checker☆11Updated 6 years ago
- Authenticated Data Structures☆16Updated 9 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- Cursor data and manipulation☆21Updated last year
- A monadic interface for DAG construction.☆24Updated 3 years ago
- A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.☆14Updated last year
- Simplify and render Template Haskell☆18Updated 6 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Updated 7 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year