Skip to content
View dbremner's full-sized avatar

Block or report dbremner

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

♾️ Helix is a private GenAI stack for building AI agents with declarative pipelines, knowledge (RAG), API bindings, and first-class testing.

Go 680 69 Updated Dec 23, 2025

A simple tutorial about how to use the CIL compiler frontend

OCaml 12 Updated Feb 10, 2025

Public repository of the QuickJS Javascript Engine.

C 10,027 1,055 Updated Dec 22, 2025

The Python programming language

Python 70,450 33,744 Updated Dec 24, 2025

Public repository of the Micro QuickJS Javascript Engine

C 2,793 72 Updated Dec 24, 2025

The Nature Programming Language

C 2,167 62 Updated Dec 24, 2025

Userspace WireGuard® Implementation in Rust

Rust 14 4 Updated Dec 4, 2025

A modular synthesizer written in Rust

Rust 51 1 Updated Jul 21, 2025

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Haskell 677 42 Updated Dec 19, 2025

The cee-scape crate provides access in Rust to `setjmp` and `sigsetjmp` functionality.

Rust 9 8 Updated Aug 6, 2024

livecoding prolog style

JavaScript 141 7 Updated Dec 14, 2025

Userspace WireGuard® Implementation in Rust

Rust 1,007 21 Updated Dec 23, 2025

Tool to produce, store and analyze performance data of SILO and perhaps later LAPIS?

Rust 1 Updated Dec 19, 2025

C Intermediate Language

OCaml 157 23 Updated Dec 22, 2025

An opinionated tree-sitter + tree-sitter-highlight + grammars bundle

JavaScript 270 6 Updated Dec 23, 2025

Fast CRC32 implementations

C 113 9 Updated Nov 27, 2025

A double-to-string conversion algorithm based on Schubfach and yy

C++ 167 12 Updated Dec 25, 2025

World's fastest generic CRC calculator for all known CRC-16, CRC-32, and CRC-64 variants, as well as bring-your-own custom parameters, using SIMD intrinsics, which can exceed 100GiB/s on modern sys…

Rust 49 11 Updated Dec 23, 2025

A SIMD-accelerated concurrent hash table.

Common Lisp 66 6 Updated Nov 3, 2022

Language for high-assurance and high-speed cryptography

Rocq Prover 322 66 Updated Dec 20, 2025

OCaml standard library let operators

OCaml 8 Updated Jun 8, 2024

A Low Barrier Proof Assistant

Python 147 8 Updated Dec 23, 2025

n2 ("into"), a ninja compatible build system

Rust 442 35 Updated Nov 10, 2025

AI/GPU flame graph

C 233 7 Updated Oct 7, 2025

⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.

Haskell 61 1 Updated Dec 24, 2025

cargo subcommand showing the assembly or llvm-ir generated for Rust code

Rust 1,258 38 Updated Feb 26, 2024

Fast and beautiful note-taking app written in C++. Write down your thoughts.

C++ 4,189 367 Updated Nov 15, 2025

A library for building dynamic terminal apps, using bonsai

OCaml 127 1 Updated Nov 27, 2025

A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.

C 165 Updated Dec 23, 2025
Next