Skip to content
View damienstanton's full-sized avatar

Block or report damienstanton

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

Keep track of Credit Card Benefits and Annual Fees

Vue 1 Updated Nov 1, 2025

Static Type Checker for Python

Python 15,041 1,752 Updated Dec 17, 2025
Lean 4 1 Updated Jun 22, 2025

LLMs + Lean, on your laptop or in the cloud

Lean 197 31 Updated Oct 10, 2025

Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code

Rust 717 69 Updated Dec 9, 2025

Build composable, reliable agents on a typed categorical core — functional plan algebra with lenses, loops, and runtime law checks

Python 9 Updated Sep 5, 2025

Code of the model 'Perceptual Reality Monitoring as Higher-Order inference on Sensory Precision'

MATLAB 2 Updated Aug 18, 2025

James' Q2 2025 explorations of the pico calc

Rust 4 Updated Jun 26, 2025

TacBoard is a kneeboard application for the Digital Combat Simulator flight sim, including checklists, airport data, and other useful features.

Swift 25 3 Updated Sep 24, 2020

Demonstrates using a shared native Swift model layer to power separate iOS and Android apps

Swift 7 1 Updated Oct 11, 2025

Repo for all the software that brings OpenHornet to life!

C++ 29 11 Updated Dec 15, 2025

The official Swift SDK for Model Context Protocol servers and clients.

Swift 1,134 150 Updated Sep 23, 2025

A toolkit for enforcing logical specifications on neural networks

Haskell 122 13 Updated Dec 17, 2025
Rust 415 125 Updated Dec 17, 2025

High-level, optionally asynchronous Rust bindings to llama.cpp

Rust 239 37 Updated Jun 5, 2024

LLM inference in C/C++

C++ 91,471 14,137 Updated Dec 17, 2025

A domain-specific probabilistic programming language for modeling and inference with language models

Python 140 10 Updated Apr 29, 2025

stb single-file public domain libraries for C/C++

C 30,836 7,937 Updated Oct 25, 2025

Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.

Rust 263 17 Updated Feb 10, 2022

Holy matrimony between Racket and Rust? Ummm yes please

Racket 4 Updated May 4, 2024

Your favourite Haskell type classes for Rust

Rust 265 8 Updated Apr 13, 2023

A TUI Git client inspired by Magit

Rust 2,576 131 Updated Dec 15, 2025

A powerful Rust library and CLI tool to unify and orchestrate multiple LLM, Agent and voice backends (OpenAI, Claude, Gemini, Ollama, ElevenLabs...) with a single, extensible API. Build, chain, eva…

Rust 272 59 Updated Nov 15, 2025

An unofficial, async Rust library for the OpenAI API

Rust 122 40 Updated Jun 2, 2025

LLMCA (Language Model Cellular Automata) is an experimental project that combines cellular automata with language models (LLM). This project allows simulating a cognitive space where each cell is a…

Rust 6 2 Updated Oct 12, 2025

Bluesky PDS (Personal Data Server) container image, compose file, and documentation

Shell 2,281 271 Updated Dec 16, 2025

⚡️ Full-featured visual editor and code generator for React using Chakra UI

TypeScript 3,036 298 Updated Jun 6, 2024

Take notes and capture code snippets with focus, VIM, and LaTeX.

TypeScript 4 1 Updated Apr 30, 2023

A framework for building compiled Node.js add-ons in Rust via Node-API

Rust 7,337 347 Updated Dec 15, 2025
Next