A type safe layer for llvm-general
☆11Feb 5, 2016Updated 10 years ago
Alternatives and similar repositories for llvm-general-typed
Users that are interested in llvm-general-typed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Playing with time series☆14Aug 27, 2015Updated 11 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 8 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 11 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.
- Example ITCH 4.1 parser in Haskell/Ragel/C99☆16May 23, 2012Updated 14 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆33Oct 9, 2026Updated 2 weeks ago
- Toy example — How can GHC optimize monad transformers?☆11Nov 8, 2016Updated 9 years ago
- ☆23Aug 30, 2017Updated 9 years ago
- funfem is a finite element library written in the functional language Haskell.☆12Apr 28, 2015Updated 11 years ago
- A faster date and time library based on time☆47Jun 23, 2026Updated 4 months ago
- 2D plotting library in pure haskell☆10Jul 1, 2015Updated 11 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago
- Integers bounded by a closed interval☆14Updated this week
- 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.
- Type Safe LLVM IR ( Experimental )☆53Jun 13, 2018Updated 8 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago
- Elliptic Curve Cryptography in Haskell☆13Mar 21, 2024Updated 2 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 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
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 10 years ago
- SQL DSL☆10Oct 8, 2017Updated 9 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- A Haskell Enigma machine simulator with rich display and machine state details.☆23Dec 2, 2022Updated 3 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- Utilities I find useful while working on GHC (mirror of GitLab repo)☆24Feb 28, 2020Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Oct 2, 2025Updated last year
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 13 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- "Preload" Haskell packages to override them☆12Dec 3, 2018Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago