homework
☆15Oct 15, 2022Updated 3 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:
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆22Jan 15, 2026Updated 2 months ago
- A quick and dirty Golang security talk☆27Apr 23, 2020Updated 5 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
- Off-chain services for the Gnosis Protocol v1.☆31Jun 17, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- ☆11May 4, 2015Updated 10 years ago
- Simple HTTP request lib backed by libcurl, inspired by superagent.☆10Mar 4, 2015Updated 11 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- The guideline for pod.☆10Jun 19, 2020Updated 5 years ago
- ☆12Jun 19, 2023Updated 2 years ago
- Copilot source provider for blink.cmp☆13Nov 5, 2024Updated last year
- Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)☆16Aug 27, 2022Updated 3 years ago
- completion.☆11May 15, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tango: Extracting Higher-Order Feedback through State Inference☆17Aug 8, 2024Updated last year
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- ☆12Jan 30, 2024Updated 2 years ago
- Benchmarks to read parquet to arrow☆11Dec 25, 2022Updated 3 years ago
- ☆13Jan 4, 2023Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆44Sep 10, 2021Updated 4 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- rxjs observable based isomorphic http request module.☆15Nov 25, 2018Updated 7 years ago
- Detect missing check bugs in OS kernels☆113Sep 23, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 8 months ago
- practice-toy-wasm-vm-go☆11Apr 20, 2022Updated 3 years ago
- ☆12Jul 5, 2024Updated last year
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- Yet Another Data Access Layer: Accessing S3, POSIX in the same way. Deeply inspired by Databend's OpenDAL☆19Dec 9, 2022Updated 3 years ago
- VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆14Mar 31, 2020Updated 5 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- Materials for the "Principles of Static Program Analysis" course☆11Jul 17, 2025Updated 8 months ago
- ☆15Feb 24, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Graph ML is for Graph Marked Lanuage, which is similar with Facebook's GraphQL, But mostly as a Domain-Specific expression in WeFlex team…☆12Jan 20, 2016Updated 10 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Regular expression matching for email addresses. Maintained, configurable, more accurate, and browser-friendly alternative to email-regex…☆17Aug 15, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- A framework inspired by FaaS, based on `koa`.☆16Nov 11, 2024Updated last year
- A Javascript Impementation of Eugene W. Myers' O(ND) Difference Algorithm Linear with Space Refinement☆13Jul 19, 2023Updated 2 years ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 3 years ago