homework
☆15Oct 15, 2022Updated 4 years ago
Alternatives and similar repositories for homework
Users that are interested in homework are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hackbot is here to help you hack at Hack24 - http://www.hack24.co.uk☆11Mar 13, 2017Updated 9 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated 2 years ago
- ☆15Feb 18, 2025Updated last year
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆22Jan 15, 2026Updated 9 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Recovery mechanisms for multi-signature wallets beyond backing up private keys.☆25Nov 22, 2023Updated 2 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Mar 20, 2020Updated 6 years ago
- A list of resources on tech diversity. Please feel free to submit additional resources by opening issues or making a pull request!☆24Oct 2, 2016Updated 10 years ago
- Off-chain services for the Gnosis Protocol v1.☆31Jun 17, 2022Updated 4 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 4 years ago
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- An embeddable double sided accounting ledger built on PG/SQLx☆11Feb 16, 2026Updated 8 months ago
- Tango: Extracting Higher-Order Feedback through State Inference☆16Aug 8, 2024Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple TUI to assist in diffing bodies of text☆14May 9, 2024Updated 2 years ago
- Benchmarks to read parquet to arrow☆11Dec 25, 2022Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Sep 10, 2021Updated 5 years ago
- Maker Purple paper on tendermint☆13Dec 14, 2021Updated 4 years ago
- Parse YAML files and hydrate Zig structs☆10Nov 13, 2025Updated 11 months ago
- Static range analysis for the LLVM compiler infrastructure.☆57Oct 8, 2019Updated 7 years ago
- A Data Integrity framework for building efficient blockchains, transparency logs, secure file systems and more.☆57Nov 12, 2018Updated 7 years ago
- A toy implementation about Program Dependence Graph using LLVM☆13Sep 27, 2023Updated 3 years ago
- practice-toy-wasm-vm-go☆11Apr 20, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆46May 25, 2021Updated 5 years ago
- ☆12Jan 30, 2024Updated 2 years ago
- ☆18Jul 30, 2018Updated 8 years ago
- Accio: A location privacy framework☆10Aug 2, 2018Updated 8 years ago
- A grey-box hybrid fuzzer that generates test cases for language servers☆16Oct 22, 2026Updated last week
- Siren: Byzantine-robust Federated Learning via Proactive Alarming (SoCC '21)☆11Mar 28, 2024Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 3 years ago
- 万能图床 mac系统Alfred 开通 powerpack 腾讯云 阿里云 imgur☆15Apr 17, 2019Updated 7 years ago
- ☆12Aug 24, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Yet Another Data Access Layer: Accessing S3, POSIX in the same way. Deeply inspired by Databend's OpenDAL☆19Dec 9, 2022Updated 3 years ago
- Goal-directed static analysis tool for JVM languages.☆60May 17, 2016Updated 10 years ago
- ☆17Feb 24, 2026Updated 8 months ago
- Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream☆25Updated this week
- The bitcoin script interpreter (cpp) compiled to webassembly.☆12Aug 26, 2022Updated 4 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Oct 22, 2026Updated last week
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆13Sep 4, 2024Updated 2 years ago