Immutable database and Datalog query engine for Clojure, ClojureScript and JS

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Adds F# design-time support to EF Core

Implementation of the Cedar Policy Language

Resources for learning and using recursion schemes.

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

Creusot helps you prove your code is correct in an automated fashion.

Software Transactional Memory for OCaml

A massively parallel, high-level programming language

An implementation of MacroML [Ganz, Sabry & Taha 2001]

egg is a flexible, high-performance e-graph library

Tidy, feature-complete Web framework

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Open-source KVM software

Open and inexpensive DIY IP-KVM based on Raspberry Pi

A compiler for the esoteric language Piet, targeting multiple backends.

A cross-platform GUI library for Rust, inspired by Elm

Use multiple computers using one set of monitors, mouse and keyboard

UI accessibility infrastructure across platforms and programming languages

Star Citizen's Linux Users Group Helper Script

Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

A web annotation server built with the same principles as Git

Effects-based direct-style IO for multicore OCaml

Secure Secrets Management for the Modern Sysadmin

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

A Spreadsheet Playground

NCNN implementation of Real-ESRGAN. Real-ESRGAN aims at developing Practical Algorithms for General Image Restoration.

General planning and documentation repository for the OCapN protocol suite for distributed networked objects

A query engine for any combination of data sources. Query your files and APIs as if they were databases!