System Intelligence Benchmark
☆52Mar 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for system-intelligence-benchmark
Users that are interested in system-intelligence-benchmark are comparing it to the libraries listed below
Sorting:
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- DoubleAI’s hyperoptimised version of cuGraph☆51Mar 3, 2026Updated 2 weeks ago
- Run TLC in cmd☆15Jan 20, 2026Updated 2 months ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- ☆11Sep 10, 2024Updated last year
- Source code for "SimCKP: Simple Contrastive Learning of Keyphrase Representations", Findings of EMNLP 2023☆12Jun 20, 2025Updated 9 months ago
- ☆14Aug 5, 2024Updated last year
- Terminal-Bench-Science: Evaluating AI Agents on Complex Real-World Scientific Workflows in the Terminal☆41Updated this week
- ☆14Jan 10, 2025Updated last year
- ☆16Updated this week
- Bitcoin Script interpreter implemented in Rust☆53Dec 11, 2025Updated 3 months ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- Code for appendices of Meteor in Action☆11Dec 18, 2014Updated 11 years ago
- Omnichain Restaking☆14Updated this week
- Repository of reference Gabriel graph, Internet Topology Zoo, SNDlib, CAIDA and synthetic backbone topologies for networking research☆12Sep 30, 2025Updated 5 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last month
- GOAT Decentralized Sequencer☆19Updated this week
- ♨️ Highest Throughput EVM L2 PoC, ThreadSafe Execution ♨️☆16Mar 18, 2024Updated 2 years ago
- Zeonica is a simulator for CGRA and Wafer-Scale Accelerators.☆18Updated this week
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 4 years ago
- Grove starter kit for TI LaunchPad(MSP430/CC3200 etc).☆17Oct 8, 2024Updated last year
- ☆23Mar 12, 2026Updated last week
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Linux porting to NonTrivialMIPS (based on linux-stable)☆12Aug 17, 2019Updated 6 years ago
- Bash lexer and grammar in ANTLR4☆13Jun 14, 2021Updated 4 years ago
- ☆15Nov 5, 2024Updated last year
- View the to-do list, submit your homework, and achieve more in your terminal!☆11Jun 3, 2025Updated 9 months ago
- 2-core MIPS R10K OoO Processor with Snooping MSI and Pipeline Bus☆11Jan 5, 2018Updated 8 years ago
- The Iron programming language☆16Jan 15, 2019Updated 7 years ago
- ☆10Dec 8, 2022Updated 3 years ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 3 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- Phala's SDK to deploy any app to TEE☆25Dec 18, 2025Updated 3 months ago
- 200,000+ Sentences about Donald Trump with political bias labels☆17Jun 2, 2020Updated 5 years ago
- HWs for Andrew Ng's open course Machine Learning☆17Sep 26, 2013Updated 12 years ago
- MyBlog☆11Mar 10, 2026Updated last week
- ☆11Apr 7, 2022Updated 3 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year