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 fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replica…

🧠 A study guide to learn about Transformers

Interact with your documents using the power of GPT, 100% privately, no data leaks

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