stackdump

verified-smart-contracts

Smart contracts which are formally verified

daisyui

🌼 🌼 🌼 🌼 🌼  The most popular, free and open-source Tailwind CSS component library

scaffold-eth-2

Open source forkable Ethereum dev stack

chyp

An interactive theorem prover for string diagrams

solidity-statemachine-library

State Machine

erc404

OpenChatKit

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

zflow

Rust implementation of Flow Based Programming Graph specification

ipfs-embed

A small embeddable ipfs implementation

sov-rollup-starter

nmt-rs

An implementation of a namespaced merkle tree in Rust.

qr-file-share

Share small files from an offline source using only a QR code

quinn

Async-friendly QUIC implementation in Rust

pnets

A set of tools written in rust to manipulate petri nets.

xstate-tetris

Tetris game,React, xstate5, react-hotkeys-hook

vasm-cf

Vector Addition State Machine interpreter compatible with Counterfactual state channels

railroad-diagrams

:steam_locomotive: A small JS+SVG library for drawing railroad syntax diagrams, like on JSON.org. Now with a Python port!

kroki

Creates diagrams from textual descriptions!

go-client

Go client for Qdrant vector search engine

Petrix

Building Petri Nets in Javascript using Interaction Category semantics

inpla

Inpla: Interaction nets as a programming language (the current version)

pflow-editor

Web UI for working with petri-nets

metamodel-js

build models using Petri-nets with an internal DSL and simulator

unit

Next Generation Visual Programming System

statechart-watch

A replica of the Citizen Quartz Multi Alarm III watch based on the 1987 paper introducing statecharts built with XState and React

llamafile

Distribute and run LLMs with a single file.

PyBlocks

PyGame block building application

hydrogen

The advanced drum machine for Linux, macOS, and Windows

audacity

Audio Editor