Alternatives and similar repositories for homebrew-llvm

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

• swift-lang / swift-t
  Swift/T: High Performance Parallel Scripting Language
  ☆54Updated last week
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last week
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 10 months ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆48Updated last week
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆40Updated 7 months ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆166Updated 3 months ago
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 8 years ago
• IntelLabs / CompilerTools.jl
  The CompilerTools package, part of the High Performance Scripting project at Intel Labs
  ☆30Updated 2 years ago
• LLNL / unum
  Universal Number Library
  ☆42Updated 7 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 7 months ago
• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 7 months ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 9 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 11 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 11 months ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 4 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 14 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated 5 months ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago