llvm-hs / homebrew-llvmLinks
LLVM formulae for the Homebrew package manager
☆25Updated 3 years ago
Alternatives and similar repositories for homebrew-llvm
Users that are interested in homebrew-llvm are comparing it to the libraries listed below
Sorting:
- Swift/T: High Performance Parallel Scripting Language☆56Updated 3 weeks ago
- Program Round-off Error Certifier via Static Analysis☆50Updated 2 weeks ago
- Various Futhark benchmark programs☆43Updated 2 weeks ago
- Python bindings for libNVVM☆37Updated 11 years ago
- LLVM backend for Accelerate☆167Updated last week
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 3 years ago
- Universal Number Library☆44Updated 7 years ago
- Conference on Homotopy Type Theory 2019☆16Updated 6 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Haskell RSA Library☆21Updated 4 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- A small DFA for under 16 states☆53Updated 7 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- Forward build system with speculation and caching☆110Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Meta project to quickly build dependencies☆104Updated last month
- Compile Haskell-like code into C++ template metaprograms☆66Updated 9 years ago
- git mirror of the Munich isabelle hg repository☆129Updated last week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- Implementation of the RISE language☆14Updated 5 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Small utility that runs multiple computations in parallel☆41Updated 5 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆132Updated 5 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- VATA Tree Automata Library☆33Updated last year
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- The Stratego program transformation language☆34Updated 7 months ago