sdiehl / llvm-tutorial-standalone
DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
☆37Updated 7 years ago
Alternatives and similar repositories for llvm-tutorial-standalone:
Users that are interested in llvm-tutorial-standalone are comparing it to the libraries listed below
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated last year
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- An implementation of the Core language☆30Updated 9 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- GNU bash backend for Idris☆53Updated 6 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- An extension to Data.Serialize with built-in version control☆59Updated last week
- An experimental native Haskell graph database☆61Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- ☆22Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- ☆41Updated 7 years ago
- Raft distributed consensus protocol (Haskell library)☆27Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- haskell memory☆48Updated last year
- Idris LLVM codegen factored out☆78Updated 7 years ago
- TOML file format parser in Haskell☆38Updated 3 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago