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:
- Program Round-off Error Certifier via Static Analysis☆51Updated this week
- Python bindings for libNVVM☆37Updated 11 years ago
- Various Futhark benchmark programs☆42Updated last month
- The Cubicle model checker☆14Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- Swift/T: High Performance Parallel Scripting Language☆55Updated this week
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- ☆19Updated 8 years ago
- LLVM backend for Accelerate☆166Updated 3 weeks ago
- Haskell interface to the pcg random number generator☆41Updated last year
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆74Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A LaTeX package for proof carrying papers☆24Updated 8 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- VATA Tree Automata Library☆33Updated last year
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Universal Number Library☆44Updated 7 years ago
- Forward build system with speculation and caching☆108Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A high-performance DSL for deep neural networks in Julia☆53Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- The Stratego program transformation language☆33Updated 4 months ago