Skip to content
View darach's full-sized avatar
  • Squircle Systems Ltd
  • London, UK

Organizations

@tremor-rs

Block or report darach

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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

Agent Substrate: the core system

Go 6,450 725 Updated Nov 11, 2026

👩‍🚒 Good content deserves good paper. Layout rules and templates that let AI agents export PDF, PNG and editable PowerPoint.

HTML 12,514 585 Updated Nov 10, 2026
Rust 781 6 Updated Nov 10, 2026

Memory-safe Rust replacement firmware for the Sonos hardware you already own — BE-PowerPC + BE-MIPS, S1 + S2. Research workspace: toolchain bake-offs, QEMU proofs, board evidence. Companion to fran…

Rust 54 Updated Nov 11, 2026

A Safe Agent With Tracked Capabilities

Scala 40 Updated Oct 17, 2026

Terraform without the state file bottleneck

OCaml 1,329 83 Updated Nov 11, 2026

DeepSeek Harness: Everything is a Plugin.

TypeScript 278,930 34,313 Updated Nov 11, 2026

Towards a More Autonomous Agent System

TypeScript 22,473 2,727 Updated Nov 3, 2026

An out-of-the-box, zero-config, Rust-powered, self-hosted code hosting platform

Slim 58 7 Updated Jul 4, 2026

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Assembly 76,591 8,321 Updated Oct 29, 2026

A model checker for Rust programs.

Rust 3,667 195 Updated Nov 10, 2026

Always-on profiler for Rust designed for production

Rust 608 67 Updated Nov 11, 2026

Community plugin to control Blender 3D with any LLM of your choice. Not affiliated with the official Blender Foundation.

Python 34,030 3,100 Updated Nov 4, 2026

Official AI skills for GSAP. These skills teach AI coding agents how to correctly use GSAP (GreenSock Animation Platform), including best practices, common animation patterns, and plugin usage.

18,301 1,153 Updated Jul 29, 2026

The largest open-source library of animated, interactive, and customizable React & Next.js components for building standout web products and experiences. Built for humans and AI agents.

JavaScript 51,724 2,594 Updated Nov 10, 2026

The design vocabulary for your coding agent. Steer with polish and bolder, review with critique and audit, catch AI slop before it ships.

Rust 108,205 6,432 Updated Nov 11, 2026

An AI skill that provides design intelligence for building professional UI/UX across multiple platforms.

Python 148,172 15,677 Updated Nov 10, 2026

Serve your models fast on your own infra in 3 steps.

Rust 52 3 Updated Nov 11, 2026

A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.

Lean 33 2 Updated Nov 2, 2026

Eurorack modules

C++ 3,363 905 Updated Oct 12, 2026

A meta-harness for coding agents to follow proper Software Development Lifecycle practices. Can also write code from specs. Based on literate programming ideas from Donald Knuth

Python 53 13 Updated Nov 11, 2026

Wire v9: from-scratch ultra-low-latency HFT stack in Rust and C. 24 crates: TCP/IP, AF_XDP, VFIO PCIe DMA, LMAX Disruptor, AVX2/AVX-512 SIMD, flat-array matching engine (11 cyc), HugePage slab (1.5…

Rust 91 10 Updated Oct 19, 2026

Programming tools can now be transmitted in the form of prompts instead of finished software. Here's a library of such tool seeds.

97 6 Updated Nov 2, 2026

TxHDL: a hardware description language that is a Rust library, proven on hardware. Read-only mirror; the work is done on the hdlfactory forge, https://git.hdlfactory.com/HDL/txhdl

Rust 13 Updated Nov 5, 2026

A GPU-oriented coverage-guided fuzzer for userland CUDA applications

Python 62 10 Updated Sep 14, 2026

A unified library of SOTA model optimization techniques like quantization, distillation, pruning, neural architecture search, speculative decoding, etc. It compresses deep learning models for downs…

Python 5,589 806 Updated Nov 11, 2026

LLM Chess - evaluating Large Language Models' reasoning and instruction-following abilities by simulating chess games

Python 139 16 Updated Nov 11, 2026

Run any process, on your machine or in an AI agent's environment, as if it were a pod in your Kubernetes cluster: real env vars, DNS, network, traffic.

Rust 5,410 228 Updated Nov 11, 2026

A reading path for CPU performance engineering, from one instruction to production inference. Primary sources only, with a runnable benchmark for every section.

Python 1,159 94 Updated Oct 8, 2026

Open Source Introductory Systems Programming Textbook for the University of Illinois

TeX 3,978 346 Updated Oct 6, 2026
Next