maxwalts / tinyv-cLinks
A tiny nearest-neighbor embedding database written in C
☆19Updated 2 years ago
Alternatives and similar repositories for tinyv-c
Users that are interested in tinyv-c are comparing it to the libraries listed below
Sorting:
- ☆13Updated 2 years ago
- I like to learn new things☆10Updated 3 years ago
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆34Updated 2 years ago
- A C compiler, written in Rust.☆10Updated 3 years ago
- DRAT proof processor☆16Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆15Updated last year
- Official Foundry landing page☆17Updated 2 years ago
- An intentionally-limited Rust implementation of the Docker runtime with no external dependencies.☆40Updated 3 years ago
- An intentionally-limited Rust implementation of the Redis server with no external dependencies.☆41Updated 3 years ago
- Search engine of my Curius data☆15Updated 3 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆75Updated 5 months ago
- Matcha Monday Webring☆12Updated 3 weeks ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- LLM Power Tool, with experimental features such as audio transcription from ElevenLabs.☆15Updated last year
- An implementation of the Ethereum virtual machine in pure Zig.☆33Updated 11 months ago
- My playgrounderino for starkneterino☆13Updated 4 years ago
- Repository of papers released by Modulus Labs☆12Updated last year
- Modern, Opinionated Multicall Library☆23Updated 3 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- All Spellcraft CLI tools.☆77Updated 2 years ago
- Cheating a little to solve the halting problem at scale☆32Updated last month
- A pure-std Rust computation graph library☆15Updated 4 years ago
- ☆49Updated 2 years ago
- LLaMA from First Principles☆51Updated 2 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated 6 months ago
- A Python implementation of Garbled Circuits MPC protocol☆62Updated last year
- ☆41Updated 3 years ago
- How accurate are prediction markets?☆26Updated 3 weeks ago
- Just testing, nothing to see here.☆13Updated 3 years ago