DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Big Mac, macOS 11 Big Sur and macOS Monterey disk installer and back up tool for Intel based Macs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Better configuration for less

blingful character graphics/TUI library. definitely not curses.

Polynomial-time Meta-Interpretive Learning

🏗 forkable Ethereum dev stack focused on fast product iterations

Code for a variety of fun puzzle problems.

An implementation of model parallel GPT-2 and GPT-3-style models using the mesh-tensorflow library.

Powerful yet simple to use screenshot software 🖥️ 📸

Prefect is a workflow orchestration framework for building resilient data pipelines in Python.

CLI swiss army knife for Ethereum developers

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Everything there is to know about Flashbots

Source code for Akash node, a secure, transparent, and peer-to-peer cloud computing network

n³ The unorthodox terminal file manager

🐋 IPFS-backed Docker Registry

SMPL-X

A great looking and easy-to-use photo-management-system you can run on your server, to manage and share photos.

Hazel, a live functional programming environment with typed holes

A toolkit for building secure, portable and lean operating systems for containers

The next open source file uploader for web browsers 🐶

An incremental parsing system for programming tools

Terminal emulator for macOS with 24-bit color, bitmap and vector graphics.

Linux shell for iOS

A collection of interesting new networks and tech aiming at decentralisation (in some form).

Programming language agnostic type construction language based on polynomials.