8000 darach (Darach Ennis) / Starred · GitHub
[go: up one dir, main page]

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,200 700 Updated Nov 5, 2026

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

HTML 12,402 583 Updated Nov 5, 2026
Rust 627 5 Updated Nov 2, 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 53 Updated Nov 8, 2026

A Safe Agent With Tracked Capabilities

Scala 40 Updated Oct 17, 2026

Terraform without the state file bottleneck

OCaml 1,327 83 Updated Nov 6, 2026

DeepSeek Harness: Everything is a Plugin.

TypeScript 275,823 33,738 Updated Nov 4, 2026

Towards a More Autonomous Agent System

TypeScript 20,870 2,467 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,499 8,314 Updated Oct 29, 2026

A model checker for Rust programs.

Rust 3,653 193 Updated Nov 8, 2026

Always-on profiler for Rust designed for production

Rust 604 66 Updated Nov 7, 2026

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

Python 33,573 3,055 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,069 1,128 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,463 2,575 Updated Oct 31, 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 105,616 6,277 Updated Nov 8, 2026

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

Python 146,582 15,512 Updated Nov 7, 2026

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

Rust 51 3 Updated Nov 6, 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,360 904 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 52 13 Updated Nov 8, 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.

96 5 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 12 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,555 803 Updated Nov 8, 2026

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

Python 139 16 Updated Nov 5, 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,404 229 Updated Nov 6, 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,157 94 Updated Oct 8, 2026

Open Source Introductory Systems Programming Textbook for the University of Illinois

TeX 3,968 343 Updated Oct 6, 2026
Next
0