ERC20 token swaps via gradual dutch auctions

Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).

C in four functions

Variable Rate Gradual Dutch Auctions.

An efficient, secure cryptocomputer

A minimal pure functional language based on self dependent types.

Automated Market Maker (AMM) smart contracts for Conditional Tokens Markets.

crockford base32 with lettercase checksums

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

3D HTML5 voxel game engine using stackgl

Exercises in computational metaphysics

Playpen is a set of modern, gas optimized staking pool contracts.

inspired by regular expressions but can do nested structures

A list of awesome Cairo and STARK-adjacent projects

A library for dynamic binary rewriting

second-order abstract syntax

A tiling window manager for macOS based on binary space partitioning

Simple hotkey daemon for macOS

Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721A.

Starlark Language

a gateway to a network of block builders

A language with lexical effect handlers and lightweight effect polymorphism

mimalloc is a compact general purpose allocator with excellent performance.

Macroexpansion reflective tower implementation in Scheme.

The list of awesome programming languages that you might be interested in.