llvm-hs / homebrew-llvm
LLVM formulae for the Homebrew package manager
☆25Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for homebrew-llvm
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- The LLVM Symbolic Simulator, part of SAW.☆21Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Ninja-based configuration system☆11Updated 4 years ago
- CLI tools for mathjax-node☆33Updated last year
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- The Cubicle model checker☆13Updated 8 months ago
- Swift/T: High Performance Parallel Scripting Language☆53Updated last week
- My master's thesis, on the algebra of topological quantum computing☆19Updated 10 years ago
- ☆20Updated 9 years ago
- DSL for stencils and image processing☆13Updated 8 years ago
- Universal Number Library☆40Updated 6 years ago
- Superposition prover☆16Updated last year
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- knot theory and computational algebra software☆34Updated 10 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated last month
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 2 years ago
- A LaTeX package to draw Feynman diagrams using TikZ☆17Updated 8 years ago
- Homebrew tap for GAP☆14Updated 5 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 10 years ago
- Topology library for Coq☆11Updated 8 years ago
- Disciplined Convex Programming in Haskell☆22Updated 7 months ago
- High-level framework for stencil computations☆39Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- Python bindings for libNVVM☆37Updated 10 years ago