This is an experimental port of DuckDB 2.0 to the ESP32-P4 microcontroller.The port runs on a 32-bit RISC-V CPU at 360 MHz with an 8 MB default PSRAM buffer. It runs 60,000-row TPC-H queries in under a second.Project home: https://github.com/habedi/duckdb-microBenchmarks: https://github.com/habedi/duckdb-micro/blob/main/docs/benchm...
Project homepage: https://github.com/pixel-clover/sandopolisDownload link: https://github.com/pixel-clover/sandopolis/releases/latest
The web version of the emulator: https://pixel-clover.github.io/ocelot/Project repo og GitHub: https://github.com/pixel-clover/ocelot
The title more or less says it all.The SKILL.md file is here: https://github.com/habedi/dotfiles/blob/main/skills/slopify/...
Hi,I've made a Dis virtual machine and Limbo programming language compiler (called RiceVM) in Rust. It can run Dis bytecode (for example, Inferno OS applications), compile Limbo programs, and includes a fairly complete runtime with garbage collection, concurrency features, and many of the standard modules from Inferno OS's original implementation.The project is still in an early stage, but if...
Hi,I've made an early version of a physical design advisor (called Vizier) for DuckDB. It can analyze a collection of queries (using a set of heuristics) and recommend changes to the physical design/layout of the database (for example, sort orders, Parquet layouts, indexes, etc.), in order to make those queries run faster.Vizier is implemented as a DuckDB extension in Zig and supports DuckDB...
Hi,I've made an early version of a Sega Genesis/Mega Drive emulator written in Zig and C. At the moment, it's far from finished (for example, sound fidelity isn't very good right now), but it boots some games with good compatibility. In any case, if you're interested, the project is available on GitHub (here: https://github.com/pixel-clover/sandopolis).Feedback is welcome.Disclaimer: I'm very...
Hi,I've made a Motorola 68000 chip emulator in C11 (called Rocket 68) as a portable C library that can easily be integrated into larger projects. If you want to know more about the project, additional information is available in the links below.Project's GitHub repo: https://github.com/habedi/rocket68Project's documentation: https://habedi.github.io/rocket68/
Hi everyone,I've made an early version of a Datalog engine (called Zodd) in Zig. Datalog is a logic query language. It's not as well-known as SQL, but it has its own use cases. If you're interested to know more about the project, including its possible use cases and features, you can check projec's GitHub repo: https://github.com/CogitatorTech/zodd
Hi everyone,I've made an open-source tool (called Omni-NLI) for natural language inference. It can use different models to check if a piece of text (called a premise) supports another piece of text (a hypothesis). The main application of a tool like this is for soft fact-checking and consistency checking between pieces of texts like sentences.Currently, Omni-NLI has the following features: ...
I've made a small property-based testing framework for Zig named Minish. Property-based testing is a way of testing software by defining properties that should always hold true.Given the amount of code being generated with the help of AI, software testing is becoming more important and, at the same time, harder. Minish is an example of a tool that aims to make it easier to test the correctness...
Hi everyone,I've made an early version of a new graph data science and analytics library for Python named PyGraphina. It's written in Rust and at the moment includes implementations for a large collection of popular graph algorithms, including:- Centrality metrics: PageRank, betweenness centrality, etc.- Community detection algorithms like connected components, Louvain, etc.- Heuristics for...
I avoided using external (linear algebra/tensor) libraries to keep the project's scope small and manageable. Adding them can be the next step, but they are usually very large dependencies that can make the project bloated. Anyway, Zig has great SIMD and multi-threading support, but I think there is a need for a native linalg/tensor library for Zig with a clean and mature API.
I'm not sure about the usefulness, it depends TBH. I think there are a lot of people (like hobbyists, students, people learning Zig, etc.) who can find the project somewhat useful at its current stage.
Hi everyone,I've made an early version of ZigFormer, a small LLM implemented in Zig with no dependencies on external ML frameworks like PyTorch or JAX. ZigFormer is modelled after a textbook LLM (like GPT-2 from OpenAI) and can be used as a Zig library as well as a standalone application to train a model and chat with it.This was mainly an educational project. I'm sharing it here in case others...
I've created a DuckDB extension that allows you to work with Kaggle datasets directly inside DuckDB. It's called Gaggle and is implemented in Rust. It's not published on DuckDB's community extensions repository yet, but you can download the latest pre-built binaries from here: https://github.com/CogitatorTech/gaggle/releasesProject's GitHub repository: https://github.com/CogitatorTech/gaggle
I made an early version of a sorted collection library for Zig. Sorted collections are data structures that maintain the data in sorted order. Examples of these data structures are `java.util.TreeMap` in Java and `std::map` in C++. These data structures are mainly used for fast lookups (point search) and fast range searches.The library is available on GitHub:...
I've been building Binharic, an open-source AI coding assistant that runs in the terminal. It's written in TypeScript and uses the AI SDK from Vercel for its agentic logic, including tool use and workflow management.It supports models from OpenAI, Google, Anthropic, and local ones through Ollama. It has a built-in keyword-based RAG pipeline and can use external tools via the MCP.Many things...
Hi everyone,I've made a new experimental Lisp dialect (named "Element 0"). It comes with an interpreter written in Zig and a small standard library.The project is open source, and feedback is welcome.Project's GitHub repo: https://github.com/habedi/element-0
Hi everyone,I've made an open-source server in Python (called Omni-LPR) that exposes automatic license plate recognition (or ALPR) as a toolbox for LLMs and AI agents. It can also be used as a standalone microservice.Here are some of its features:- Installable as a Python package: `pip install omni-lpr`.- Self-hostable for 100% local and private inference.- Exposes tools via a native MCP...
Hi everyone,I've made an open-source library for fast spatial search in Rust.It's called Spart, and it currently provides the following features:- Five tree implementations: Quadtree, Octree, Kd-tree, R-tree, and R*-tree- Python bindings (`pyspart` on PyPI)- Fast k-nearest neighbor (kNN) and radius search- Bulk data loading for efficient tree constructionProject's GitHub repo:...