Alternatives and similar repositories for homebrew-llvm:

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

• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 3 weeks ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• mbudde / jana
  An interpreter for Janus, the reversible programming language.
  ☆15Updated 4 years ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• jameshegarty / darkroom
  Darkroom Core
  ☆47Updated 7 years ago
• hatashiro / s-exify
  Beautifier for S-expression, mainly for WAT
  ☆11Updated 4 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• jq-shell / jqsh
  The jqsh scripting language
  ☆12Updated 9 years ago
• BartoszMilewski / Parsing
  Using parsec
  ☆9Updated 5 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 5 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• RReverser / vscode-llvm
  LLVM syntax highlight extension for VS Code
  ☆13Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• swift-lang / swift-t
  Swift/T: High Performance Parallel Scripting Language
  ☆54Updated this week