bos / llvm
Haskell bindings to the LLVM compiler infrastructure project.
☆104Updated 4 years ago
Related projects: ⓘ
- REST'ful web framework in Agda☆126Updated 14 years ago
- A high-performance striped resource pooling implementation for Haskell☆112Updated 2 years ago
- Mutable hash tables for Haskell, in the ST monad☆125Updated last year
- A mid-level client library for the MySQL database, intended to be fast and easy to use.☆91Updated 8 months ago
- This repository has been moved to https://gitlab.com/twittner/zeromq-haskell☆139Updated 8 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 6 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- ☆124Updated 9 months ago
- VM and tracing JIT for Haskell (work in progress)☆77Updated 9 years ago
- Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!☆21Updated 10 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 7 years ago
- A class for types that can be converted to a hash value☆102Updated 2 months ago
- A wrapper program around cabal and cabal-install that maintains sandboxed build environments.☆150Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated last year
- Haskell FFI to libclang☆58Updated 7 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Updated 7 years ago
- Dive into GHC☆82Updated 7 years ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆92Updated 2 months ago
- Ugly prototype language for strongly typed, lazy, purely functional client side web scripting☆25Updated 7 years ago
- Haskell IRC daemon.☆141Updated 7 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆216Updated 6 years ago
- haskellers.com site☆141Updated 8 months ago
- A collection of different packages for CAS based data structures.☆106Updated 2 months ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆128Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A tutorial on Parallel and Concurrent Haskell☆219Updated 11 years ago