snu-sf / crellvmView external linksLinks
Crellvm: Verified Credible Compilation for LLVM
☆18Jun 26, 2018Updated 7 years ago
Alternatives and similar repositories for crellvm
Users that are interested in crellvm are comparing it to the libraries listed below
Sorting:
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- ☆10Sep 14, 2019Updated 6 years ago
- Process Orchestration Framework: A camunda 7 fork☆20Updated this week
- A software framework for global sparse analyzers and their verified validators☆22Oct 25, 2017Updated 8 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆22Jun 14, 2025Updated 8 months ago
- Benchmarks of various hashers☆31Jul 31, 2024Updated last year
- Formally verified operator language and rewriting engine for high-performance computing☆30Jun 13, 2024Updated last year
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- P4 simulator module☆19Feb 3, 2026Updated last week
- Finding bugs in P4 compilers using translation validation.☆38Nov 4, 2025Updated 3 months ago
- A Grand Sumo prediction game☆10Updated this week
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- SipHash function for PHP☆16Feb 2, 2021Updated 5 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Linux kernel for Qualcomm's Hexagon processors☆10Mar 14, 2013Updated 12 years ago
- Artifact for 'Register Optimizations for Stencils on GPUs'☆10Sep 18, 2018Updated 7 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- 这是基于Linux系统的 ftp系统能实现文件的上传和下载☆12May 10, 2018Updated 7 years ago
- ☆12Nov 23, 2020Updated 5 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- Nald'thal the Traders.☆11Nov 4, 2018Updated 7 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- ☆12Apr 22, 2023Updated 2 years ago
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Apr 30, 2024Updated last year
- A small test for multithreaded C++ stack unwinding on unixes☆16Feb 24, 2020Updated 5 years ago
- ☆11Aug 11, 2024Updated last year
- Line editor and Cisco-style command tree☆13May 16, 2022Updated 3 years ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Jan 18, 2026Updated 3 weeks ago
- A library of ftp client on Linux☆10Aug 7, 2017Updated 8 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Comparison of leading error-correcting code implementations☆12Aug 19, 2022Updated 3 years ago
- ☆11Jan 19, 2025Updated last year
- This is where we work on the specification for AXR☆13Oct 17, 2013Updated 12 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago