Skip to content
View CircuitCoder's full-sized avatar
🍓
Meow~
🍓
Meow~

Organizations

@THSITG @ILLUMER @tuna

Block or report CircuitCoder

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
Showing results

Locally Nameless Representation of System F

Lean 2 1 Updated May 9, 2026

Ramulator 2.0 is a modern, modular, extensible, and fast cycle-accurate DRAM simulator. It provides support for agile implementation and evaluation of new memory system designs (e.g., new DRAM stan…

C++ 616 199 Updated Aug 4, 2026

CARLsim is an efficient, easy-to-use, GPU-accelerated software framework for simulating large-scale spiking neural network (SNN) models with a high degree of biological detail.

C++ 59 21 Updated Nov 8, 2025

An experimental Gecko-based web browser for iOS 13+.

Swift 1,432 107 Updated Aug 10, 2026

A browser extension to convert gairaigo (Japanese loan words) back to English

JavaScript 866 36 Updated May 9, 2024

将被语言阻隔的作品,带到读者的语言中。Bringing literature into your language.

Python 2,160 171 Updated Aug 9, 2026

A simple, id-based arena

Rust 131 8 Updated Jan 14, 2026

An ACME-based certificate authority, written in Go.

Go 5,738 645 Updated Aug 7, 2026

A miniature version of Boulder, Pebble is a small RFC 8555 ACME test server not suited for a production certificate authority.

Go 783 174 Updated Jul 3, 2026

🔭 Cross-platform filesystem notification library for Rust.

Rust 3,427 281 Updated Aug 10, 2026

A parser and exact printer for Nix language

Haskell 8 1 Updated Jul 15, 2026

Blazing fast immutable collection datatypes for Rust.

Rust 173 34 Updated Jul 18, 2026

MIME type guessing of file extensions for Rust.

Rust 220 71 Updated Sep 12, 2025

Build fast web applications with Rust.

Rust 21,190 885 Updated Aug 8, 2026

Enable bcache or LVM on existing block devices

Python 397 42 Updated Dec 10, 2016

eBPF-based Linux high-performance transparent proxy solution.

Go 6,065 391 Updated Jul 31, 2026

Nullius overhaul mod for Factorio

Lua 33 36 Updated Aug 8, 2026

Completely rewritten adbsync with --exclude

Python 558 41 Updated Jul 30, 2024

A Non-Official Rust cross-platform implementation of the FVP engine & IDE

Rust 126 16 Updated Aug 10, 2026

A static, type inferred and embeddable language written in Rust.

Rust 3,426 153 Updated Aug 6, 2026

Encyclopedia that hallucinates articles on the fly

TypeScript 245 27 Updated May 25, 2026

Zed plugin for Metals

Rust 109 28 Updated Jul 28, 2026

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 39,716 18,163 Updated Aug 10, 2026

A typed rtorrent rpc client

Python 7 2 Updated Aug 2, 2026

DRAM Bandwidth Testing in DRAM Simulators

C++ 6 Updated Mar 28, 2026

Project NOMAD is an offline-first knowledge and education server. Wikipedia, thousands of books, courses, maps, and optional local AI, all running on hardware you own with no internet required.

TypeScript 35,668 3,578 Updated Aug 4, 2026

Benchmarking a single‑prompt Rust OS kernel implementation, comparing Claude Code Fable, Opus, and Sonnet.

52 1 Updated Aug 8, 2026

A fast and compact QR Code encoding library

C 3,016 617 Updated Oct 10, 2025

A Privacy-first, Cross-platform Text Expander written in Rust

Rust 14,249 448 Updated Aug 9, 2026
Next