zerbfra / acseLinks
acse compiler - formal languages and compilers polimi
☆13Updated 8 years ago
Alternatives and similar repositories for acse
Users that are interested in acse are comparing it to the libraries listed below
Sorting:
- A Python module for generating fast bilinear algorithms for different convolution algorithms☆16Updated last year
- Frobenius Additive Fourier Transform☆13Updated last year
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆61Updated last year
- Python tools for NVIDIA Profiler☆21Updated 8 years ago
- This is a repository for logarithmic Functional Units☆18Updated 3 weeks ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 3 weeks ago
- Obsolete☆14Updated 2 years ago
- Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.☆42Updated 11 years ago
- Princeton University - COS/ECE 470 : Principles of Blockchains☆20Updated 3 years ago
- MIPS simulator in C++☆13Updated 6 years ago
- muSYCL, the SYCL musical!☆13Updated last year
- Data Dependence Analyzer in the Polyhedral Model☆21Updated 2 years ago
- The probSAT SAT Solver☆26Updated 3 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 2 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆132Updated 5 years ago
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- The CLooG Code Generator in the Polyhedral Model☆52Updated 2 years ago
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.☆46Updated last month
- C Language Analysis in Rascal☆27Updated last month
- Deeplearning4j Android Example repository☆11Updated 10 years ago
- High-Performance Reproducible BLAS using posit arithmetic☆12Updated 3 years ago
- Solves systems of polynomial equations.☆30Updated 4 months ago
- Automated verification of uniqueness property for ZKP circuits☆45Updated last year
- ☆12Updated 5 years ago
- Python bindings to picosat (a SAT solver)☆191Updated 5 months ago
- ☆44Updated 3 months ago
- Interactive formal verification tool for Yul programs☆76Updated 2 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago