bos / llvm
Haskell bindings to the LLVM compiler infrastructure project.
☆105Updated 5 years ago
Alternatives and similar repositories for llvm:
Users that are interested in llvm are comparing it to the libraries listed below
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 7 years ago
- Mutable hash tables for Haskell, in the ST monad☆127Updated 3 weeks ago
- A high-performance striped resource pooling implementation for Haskell☆112Updated 2 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated last year
- REST'ful web framework in Agda☆131Updated 14 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- A mid-level client library for the MySQL database, intended to be fast and easy to use.☆92Updated last year
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 6 years ago
- A tutorial on Parallel and Concurrent Haskell☆219Updated 12 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆108Updated 7 years ago
- This repository has been moved to https://gitlab.com/twittner/zeromq-haskell☆139Updated 8 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Haskell FFI to libclang☆58Updated 7 years ago
- ☆125Updated last year
- A class for types that can be converted to a hash value☆104Updated last month
- A Haskell library supporting flexible, dynamic file-based configuration.☆128Updated 8 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- playground for working with succinct data structures☆95Updated 9 years ago
- ☆97Updated 7 years ago
- Process Monitoring/Management, Like Daemontools☆282Updated 5 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆92Updated 7 months ago
- OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine☆179Updated 11 years ago
- VM and tracing JIT for Haskell (work in progress)☆77Updated 10 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 8 years ago
- An implementation of the Raft consensus protocol☆122Updated 2 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- haskellers.com site☆140Updated last year
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago