paulp

v

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

uppy

The next open source file uploader for web browsers :dog:

flameshot

Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:

nnn

n³ The unorthodox terminal file manager

tree-sitter

An incremental parsing system for programming tools

ish

Linux shell for iOS

prefect

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

scaffold-eth

🏗 forkable Ethereum dev stack focused on fast product iterations

linuxkit

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

gpt-neo

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

awesome-zero-knowledge-proofs

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

alternative-internet

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

notcurses

blingful character graphics/TUI library. definitely not curses.

Lychee

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

pm

Everything there is to know about Flashbots

nickel

Better configuration for less

smplx

SMPL-X

differential-datalog

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 write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

node

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

hazel

Hazel, a live functional programming environment with typed holes

olympus-contracts

ipdr

🐋 IPFS-backed Docker Registry

bigmac

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

typedefs

Programming language agnostic type construction language based on polynomials.

libra-legacy-v6

eth-cli

CLI swiss army knife for Ethereum developers

macterm

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

louise

Polynomial-time Meta-Interpretive Learning

puzzles

Code for a variety of fun puzzle problems.

zapa