google / clang-lens

Related projects ⓘ

Alternatives and complementary repositories for clang-lens

• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last week
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 8 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆28Updated last month
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆16Updated 5 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated this week
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 7 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• antitypical / Manifold
  An implementation of a dependently-typed intermediate language used by Tesseract.
  ☆30Updated 8 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• ddfisher / haskell-socket-activation
  systemd socket activation library for Haskell
  ☆15Updated 4 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 9 months ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 4 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 2 years ago
• bkase / slides
  Slide decks rendered from mardown
  ☆24Updated 2 months ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 4 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• vincenthz / hs-packer
  Fast serialization in haskell
  ☆15Updated 4 years ago