Comptime brings meta-programming capabilities to C#, enabling compile-time code generation and evaluation.

An audio plugin that speaks OSC.

A .NET library that helps you protect your NuGet packages with commercial licenses.

Run Windows apps on 🐧 Linux with ✨ seamless integration

A menagerie of cute implementations of modern typechecking algorithms

Minimal implementations for dependent type checking and elaboration

This repo powers my experiment where ChatGPT manages a real-money micro-cap stock portfolio.

The Flix Programming Language

Unofficial revival of the well known .NET debugger and assembly editor, dnSpy

music21: a Toolkit for Computer-Aided Musical Analysis and Computational Musicology

A compiler for a SQL dialect and mathematical meta-system with support for heterogeneous structured data

Automated, smooth, N'th order derivatives of non-uniformly sampled time series data

This project provides a set of Unix tools for .NET 8+

Linear-time solution to the Necklace Splitting Problem

A concise grammar of interactive graphics, built on Vega.

Create ACH, SEPA, FedNow, SWIFT, RTP payment initiations and process bank statements. Used in production to move hundreds of thousands of dollars a month.

Defender(1981) by Eugene Jarvis and Sam Dicker

Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication feat…

The modern replacement for Jupyter Notebooks

A collection of resources available to .NET developers working with AI.

Infer.NET is a framework for running Bayesian inference in graphical models

Bitcoin blockchain graph analysis with the GraphBLAS.

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables, designed to handle billions of files with O(1) disk access and effortless horizontal scaling.

🧠 A study guide to learn about Transformers

Complete API layer for private AI applications on local models: RAG, skills, tools, MCP, text-to-sql, and more. Works with any OpenAI-compatible inference server.

The sassy UML diagram renderer

Privaxy is the next generation tracker and advertisement blocker. It blocks ads and trackers by MITMing HTTP(s) traffic. Also check out my new project, https://github.com/Barre/ZeroFS

StableLM: Stability AI Language Models