Gas Town - multi-agent workspace manager

Distributed stream processing engine in Rust

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

An intuitive spreadsheet-like interface that lets users of all technical skill levels view, edit, query, and collaborate on Postgres data directly—100% open source and self hosted, with native Post…

Code for "A mathematical model of wound healing in the reef-building coral Pocillopora damicornis"

W3C Verifiable Credentials Ed25519Signature2020 Suite implementation in Java

W3C Verifiable Credentials Data Integrity ECDSA-RDFC-2019 Cryptosuite implementation in Java

Aries agent test framework, with agent backchannel support

Python library to run biological simulations of 3D, multicellular tissues.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Code and documentation to train Stanford's Alpaca models, and generate the data.

Responsive, animated figures in JavaScript/HTML canvases

A scala implementation of the FLN Bot for the GMT game: Colonial Twilight

Lollimon, a monadic concurrent linear logic programming language

use msb to create integer values of varying sizes

A simple program to simulate artificial life using attraction/reuplsion forces between many particles

min(DALL·E) is a fast, minimal port of DALL·E Mini to PyTorch

A Verifiable Credentials Processor & API

A JSON-LD 1.1 (JSON-based Serialization for Linked Data) Processor & API

Probabilistic language based on pattern matching and constraint propagation, 153 examples

implementing simple path finding algorithms in Haskell

Simple R Script for Importing MTG Decks

Create and verify W3C Verifiable Credentials and Presentations in JWT format

JsonWebSignature2020 Test Suite

Cello v2 is the continuation of the Cello genetic circuit design software.