A tiny nearest-neighbor embedding database written in C
☆19Feb 18, 2026Updated last week
Alternatives and similar repositories for tinyv-c
Users that are interested in tinyv-c are comparing it to the libraries listed below
Sorting:
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Interaction Controllers for Sentiment☆28Jul 5, 2023Updated 2 years ago
- I like to learn new things☆10Updated this week
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆31Jul 9, 2022Updated 3 years ago
- Intentionally-limited adaptations of defi protocols, dapps, and concepts☆32Jul 24, 2022Updated 3 years ago
- ☆11Jul 16, 2023Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- ☆11Jul 27, 2022Updated 3 years ago
- ☆17Aug 29, 2022Updated 3 years ago
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- Multicall: Aggregate multiple constant function call results into one☆16Apr 13, 2020Updated 5 years ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 3 years ago
- Smart contract audit / optimization reports generated by solstat.☆14Nov 3, 2022Updated 3 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 10 months ago
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 2 years ago
- A Repository Containing Log's Commissions☆10Feb 23, 2024Updated 2 years ago
- ☆18Jan 8, 2023Updated 3 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 2 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- An intentionally-limited Rust implementation of the Docker runtime with no external dependencies.☆40Dec 24, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 5 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆22Aug 22, 2024Updated last year
- A publicly-modifiable registry of ilks in the Dai Stablecoin System.☆22Mar 7, 2023Updated 2 years ago
- Contract Test Suite☆19Apr 1, 2022Updated 3 years ago
- ☆21Sep 27, 2023Updated 2 years ago
- A simple RISC-V runtime.☆33Sep 12, 2025Updated 5 months ago
- Collection of presentations given by Sigma Prime☆19Mar 1, 2022Updated 4 years ago