Alternatives and similar repositories for homebrew-llvm

Users that are interested in homebrew-llvm are comparing it to the libraries listed below

• lemire / costofsafety
  Quick experiment to see how expensive safety is in C, for research
  ☆12Updated 6 years ago
• swift-lang / swift-t
  Swift/T: High Performance Parallel Scripting Language
  ☆54Updated 2 weeks ago
• jq-shell / jqsh
  The jqsh scripting language
  ☆12Updated 9 years ago
• RReverser / vscode-llvm
  LLVM syntax highlight extension for VS Code
  ☆13Updated last year
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• google / pikov
  Tool to create and edit Pikov pixel art Markov chain animations.
  ☆17Updated 3 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• montagejs / joey
  An HTTP content negotiation client and server JavaScript library, inspired by Sinatra and JSGI, and using Q promises.
  ☆40Updated 8 years ago
• briansteffens / briansteffens.github.io
  ☆11Updated 2 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆72Updated 4 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 4 years ago
• facebook / fbghc
  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
• USArmyResearchLab / openshmem-epiphany
  ARL OpenSHMEM for Epiphany
  ☆31Updated 5 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆20Updated 3 weeks ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 weeks ago
• Maratyszcza / confu
  Ninja-based configuration system
  ☆11Updated 5 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 5 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• gazette / ping-pong
  Example bare-bones gazette consumer application that plays ping pong. _At Scale_!
  ☆15Updated 4 years ago
• fossas / spectrometer
  Flexible, robust, and performant dependency analysis.
  ☆20Updated 3 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• asciinema / publish-to-ipfs
  Script to publish locally saved asciicast to IPFS
  ☆18Updated 7 years ago
• openworm / wormbrowser
  The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans
  ☆49Updated 8 years ago
• WebKitNix / webkitnix
  A WebKit2 port based on POSIX and OpenGL/ES
  ☆66Updated 11 years ago
• ocurrent / ocaml-dockerfile
  OCaml interface for creating Dockerfiles
  ☆66Updated last week
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last month