google / clang-lensLinks
☆20Updated 9 years ago
Alternatives and similar repositories for clang-lens
Users that are interested in clang-lens are comparing it to the libraries listed below
Sorting:
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 6 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- a language workbench for parsing and transforming curly-brace languages☆42Updated 9 years ago
- Coq BPF interpreter☆19Updated 7 years ago
- ☆10Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 7 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- an example airship app☆14Updated 9 years ago
- ☆73Updated 11 years ago
- ☆15Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- ☆59Updated last year
- A software architectural modeling tool for programmers.☆31Updated 8 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆16Updated 2 years ago
- XHTML combinator library☆9Updated 7 months ago
- ☆10Updated 2 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- static staging compiler☆26Updated 8 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Test vectors for testing compliant Ion implementations.☆27Updated 3 weeks ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- An experimental patchset management tool.☆12Updated 4 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- ☆15Updated last year
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- A Python implementation of a Python bytecode runner☆16Updated 6 years ago