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
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆34Updated last year
- A C compiler, written in Rust.☆10Updated 3 years ago
- An implementation of the Ethereum virtual machine in pure Zig.☆32Updated 10 months ago
- I like to learn new things☆10Updated 2 years ago
- An intentionally-limited Rust implementation of the Redis server with no external dependencies.☆41Updated 2 years ago
- An intentionally-limited Rust implementation of the Docker runtime with no external dependencies.☆40Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆15Updated last year
- A Python implementation of Garbled Circuits MPC protocol☆62Updated last year
- LLaMA from First Principles☆51Updated 2 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 3 years ago
- DRAT proof processor☆16Updated 2 years ago
- Official Foundry landing page☆17Updated 2 years ago
- Oracle System☆15Updated 3 years ago
- Repository of papers released by Modulus Labs☆12Updated last year
- A verbose CLI to probe go-ethereum data structures, built in rust.☆14Updated 2 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Updated 2 years ago
- My playgrounderino for starkneterino☆13Updated 4 years ago
- It's a baby compiler. (Lean btw.)☆16Updated 6 months ago
- LLM Power Tool, with experimental features such as audio transcription from ElevenLabs.☆15Updated last year
- GobblerWatch: Discord notifications for ArtGobblers☆21Updated 2 years ago
- A pure-std Rust computation graph library☆15Updated 4 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated 3 months ago
- Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg☆48Updated 2 weeks ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- Convert anything to anything using GPT3☆17Updated 2 years ago
- Barebones Rust EVM Implementation☆12Updated 3 years ago
- This is a vim plugin that allows you to simulate rubber duck programming by using the chatGPT API to generate code suggestions and natura…☆53Updated 2 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- Rust Primitives, Learnings, & Frameworks☆17Updated 3 years ago