GaloisInc / llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
☆28Updated last month
Related projects ⓘ
Alternatives and complementary repositories for llvm-pretty
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Library for invertible parsing and printing☆31Updated 5 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 2 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Dependent hash maps☆14Updated 5 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last week
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆12Updated 2 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- ☆23Updated 6 years ago
- Computing lenses generically using generics-sop☆15Updated 3 weeks ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 2 weeks ago
- Educational implementation of dependent types☆19Updated 6 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
- Haskell library for glob matching☆25Updated 2 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 2 months ago
- Term Rewriting Systems☆17Updated 9 years ago
- Fast serialization in haskell☆15Updated 4 years ago