llvm-hs / homebrew-llvm
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
- Convert to/from IEEE-754 HP/SP/DP formats☆21Updated 4 months ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Ninja-based configuration system☆11Updated 4 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 4 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 weeks ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- vim plugin that makes vim syntax highlighting engine available in pandoc☆15Updated 4 months ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Functional Lenses in C++☆21Updated 13 years ago
- lean-related presentations☆16Updated last year
- Program Round-off Error Certifier via Static Analysis☆51Updated 6 months ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Arbitrary precision numbers for PureScript☆13Updated 2 years ago
- High-level framework for stencil computations☆40Updated 9 years ago
- Light JavaScript version of Vispy☆21Updated 3 years ago
- Encoding of GHC Core inside MLIR☆17Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- ☆17Updated last year
- Haskell implementation of the Unicode Collation Algorithm☆17Updated 2 months ago
- The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans☆49Updated 8 years ago
- LLVM backend for Accelerate☆164Updated 6 months ago
- ☆20Updated 9 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- Homebrew tap for GAP☆14Updated 9 months ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Unicorn - An HPC Library for hybrid CPU-GPU clusters (TPDS 2016 paper)☆12Updated 7 years ago
- An ONNX backend using PlaidML☆28Updated 6 years ago
- Haskell interface to the pcg random number generator☆41Updated last year