Stars
The Nexus zkVM: The zero-knowledge virtual machine
In this paper, we apply machine learning to create bots for Halite III, @twosigma's annual A.I. competition. We develop one classifier using Support Vector Machine with Supervised Learning, and one…
Chat with your notes & see links to related content with AI embeddings. Use local models or 100+ via APIs like Claude, Gemini, ChatGPT & Llama 3
PDF++: the most Obsidian-native PDF annotation & viewing tool ever. Comes with optional Vim keybindings.
"LightRAG: Simple and Fast Retrieval-Augmented Generation"
Hosting read-only SQLite databases on static file hosters like Github Pages
A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.
Proof of work algorithm based on random code execution
An Obsidian plugin to interact with your privacy focused AI-Assistant making your second brain even smarter!
A low level language that compiles to the NASM assembly for educational purpose
A Simple showcase for the Sea-of-Nodes compiler IR
Collection of cross-platform one-file C/C++ libraries with no dependencies, primarily used for games
Automatic CPU speed & power optimizer for Linux
A C Compiler that fits in the 512 byte boot sector of an x86 machine
A series of large language models trained from scratch by developers @01-ai
mimalloc is a compact general purpose allocator with excellent performance.
☁️ The Most Secure and Easy Selfhosted Home Server. Take control of your data and privacy without sacrificing security and stability (Authentication, anti-DDOS, anti-bot)
Linux/FreeBSD DAAP (iTunes) and MPD audio server with support for AirPlay 1 and 2 speakers (multiroom), Apple Remote (and compatibles), Chromecast, Spotify and internet radio.
Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-modu…
A minimalist HTTP server for Linux, written in x86_64 assembly
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
C99, header-only framework for games and multimedia applications
Opiniated RAG for integrating GenAI in your apps 🧠 Focus on your product rather than the RAG. Easy integration in existing products with customisation! Any LLM: GPT4, Groq, Llama. Any Vectorstore: …
A gradual guide to discover and learn the Jai programming language