Skip to content
View m561247's full-sized avatar
😄
😄

Block or report m561247

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""

Verilog 42 11 Updated Apr 10, 2026

Low level access to RISC-V processors

Rust 1,086 194 Updated Apr 15, 2026

a QEMU + gem5 co-simulation framework for AMD MI300X GPU research.

Shell 44 11 Updated Apr 15, 2026

Filesystem in Userspace (FUSE) for Rust

Rust 1,189 181 Updated Apr 13, 2026

A workbench for writing toy implementations of distributed systems.

Clojure 3,559 204 Updated Nov 28, 2025

JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

Java 1,274 253 Updated Jun 24, 2025

An open-source microcontroller system based on RISC-V

C 1,026 321 Updated Feb 6, 2024

A MIPS32 CPU with out-of-order execution, branch prediction, and L1 cache, implemented in SystemVerilog.

SystemVerilog 10 Updated Jan 29, 2026

Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1

TypeScript 54,546 8,969 Updated Apr 14, 2026

MOROS: Obscure Rust Operating System 🦉

Rust 1,069 43 Updated Apr 18, 2026

SQL database written in C++ from scratch, for educational purposes.

C++ 3 1 Updated Mar 28, 2026

Random version of microemacs with my private modificatons

C 1,995 307 Updated Feb 25, 2026

Beginner, advanced, expert level Rust training material

Rust 13,845 1,044 Updated Apr 11, 2026

Generate type-safe code from SQL

Go 17,365 1,029 Updated Apr 18, 2026

Implementation of the Cedar Policy Language

Rust 1,416 143 Updated Apr 17, 2026

A massively parallel, high-level programming language

Rust 19,330 477 Updated Jun 3, 2025

Hobby optimizing compiler for an intentionally usafe C-style system programming language.

C 5 2 Updated Apr 18, 2026

EEPROM File System

C 287 103 Updated Aug 14, 2024

Open source file system for small embedded systems

C 42 3 Updated Mar 30, 2026

A mini x86 hypervisor

C++ 406 77 Updated Sep 4, 2025

A highly-configurable RISC-V Core

SystemVerilog 37 5 Updated Dec 27, 2025

The most atomic way to train and inference a GPT in pure, dependency-free C

C 368 67 Updated Feb 15, 2026

Building a minimal RISC-V Linux system

Makefile 1 1 Updated Apr 17, 2026

Light-weight Bare Metal Hypervisor (Type 1) written in C++

C++ 67 7 Updated Sep 28, 2024

MimiClaw: Run OpenClaw on a $5 chip. No OS(Linux). No Node.js. No Mac mini. No Raspberry Pi. No VPS. Hardware agents OS.

C 5,202 764 Updated Mar 17, 2026

Making AI Assistants Cheap Again!

C 824 50 Updated Apr 15, 2026

DHRUT-V :- In-order superscalar RV32I RISC-V processor core written in SystemVerilog and Verified using cocotb+pyUVM. Built for education, verification, and hardware exploration. (Can it run Doom? …

Verilog 9 2 Updated Mar 17, 2026

A Rust OS kernel autonomously implemented by Claude Code Opus/Sonnet.

Rust 40 1 Updated Apr 18, 2026

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

Rust 26,090 1,116 Updated Apr 18, 2026

An extremely fast Python type checker and language server, written in Rust.

Python 18,351 282 Updated Apr 17, 2026
Next