Viewing profile — habedi0

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 p…

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 …

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 …

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 th…

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…

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 ano…

Lol

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. Gi…

Looks like it's over for Linux.

`rustworkx` is older and much more mature than PyGraphina. So at the moment, it includes a larger collection of graph algorithms. But the goal is to keep PyGraphina focused on spec…

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 implementatio…

I wanted to get a sense of and intuition for how to build an LLM from scratch, and to learn more Zig by doing so. I avoided using external (linear algebra/tensor) libraries to keep…

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…

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 c…

I picked that name (`ordered`, as in `put into and kept in an arrangement`) when I started the project a few months ago and decided to keep it.

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…