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:
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Various Futhark benchmark programs☆43Updated last week
- Program Round-off Error Certifier via Static Analysis☆52Updated last month
- Swift/T: High Performance Parallel Scripting Language☆56Updated last month
- LLVM backend for Accelerate☆167Updated last month
- An interpreter for Janus, the reversible programming language.☆14Updated 5 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 4 years ago
- Haskell interface to the pcg random number generator☆42Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Meta project to quickly build dependencies☆104Updated 2 months ago
- Lattice-based integer linear programming solver☆66Updated 5 months ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- Forward build system with speculation and caching☆110Updated 2 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Writeup that goes along with this:☆15Updated 7 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- A small DFA for under 16 states☆54Updated 7 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 7 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- Small utility that runs multiple computations in parallel☆41Updated 5 years ago
- Parallel Programming in Futhark☆49Updated 2 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Compile Haskell-like code into C++ template metaprograms☆66Updated 9 years ago
- The Cubicle model checker☆14Updated 3 months ago
- Haskell RSA Library☆21Updated 4 years ago
- From Haskell to Hardware via CCCs☆58Updated 9 years ago