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
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- SipHash function for PHP☆16Feb 2, 2021Updated 5 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
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- A Grand Sumo prediction game☆10Updated this week
- ☆10Jan 7, 2024Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 3 weeks ago
- Comparison of leading error-correcting code implementations☆12Aug 19, 2022Updated 3 years ago
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- ☆12Aug 15, 2023Updated 2 years ago
- IRCCloud Python Client☆11Oct 26, 2015Updated 10 years ago
- ☆11Mar 8, 2025Updated 11 months ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- Earley based parsing tools for XSLT☆10Oct 8, 2020Updated 5 years ago
- ☆11Oct 24, 2017Updated 8 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆22Jan 5, 2026Updated last month
- Analog circuit simulation library; wrapper for ngspice☆10Aug 31, 2020Updated 5 years ago
- TUI kanban board for orchestrating AI coding agents☆36Jan 28, 2026Updated 2 weeks ago
- Main site of information of XPath Next☆12Apr 5, 2023Updated 2 years ago
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 3 months ago
- Nald'thal the Traders.☆11Nov 4, 2018Updated 7 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- ☆11Nov 29, 2017Updated 8 years ago