8000 baz-lightyear (Harry Kingdon) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View baz-lightyear's full-sized avatar
👨‍🚀
Tonk cofounder
👨‍🚀
Tonk cofounder

Organizations

@tonk-labs

Block or report baz-lightyear

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Personal sync server for Groundmist applications, leveraging AT Protocol for local-first software

Shell 2 Updated May 2, 2025

Local-first application on top of AT Protocol for managing private and public content history

TypeScript 4 1 Updated May 2, 2025

The open-source reactive database for app developers

Rust 4,701 233 Updated May 30, 2025
TypeScript 131 13 Updated May 29, 2025

Portia Labs Python SDK for building agentic workflows.

Python 157 5 Updated May 30, 2025

A curated list of non-U.S.-based alternatives to popular services, focusing on privacy and global accessibility.

282 21 Updated Feb 12, 2025

an awesome list of decentralized services and technologies

1,641 155 Updated Mar 26, 2024
Rust 19 7 Updated Apr 3, 2025

🐻 Bear necessities for state management in React

TypeScript 52,603 1,691 Updated May 25, 2025

Shared data types for building collaborative software

JavaScript 19,319 675 Updated May 30, 2025

The New York Review of Computation

98 Updated May 26, 2023

Serverless open implementation of something similar to Balaji's ideology vector quiz

HTML 14 1 Updated Jan 27, 2025

One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies

Rust 109 10 Updated Dec 12, 2024

A tool for compression of lookup tables and generation of their hardware files in Verilog for RTL designs

C++ 26 1 Updated Mar 30, 2025

A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.

Circom 95 35 Updated May 16, 2025

C++ library for zkSNARKs

C++ 1,876 591 Updated Feb 23, 2024
TypeScript 1 Updated Nov 20, 2023

Noir is a domain specific language for zero knowledge proofs

Rust 1,078 291 Updated May 30, 2025
HTML 5 1 Updated Nov 17, 2023

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

TypeScript 8,460 834 Updated Feb 13, 2025

time-lock encrypted commit + reveal system using drand

TypeScript 9 Updated Apr 3, 2025

COG is a solidity framework for building composable Community Owned Games

Go 8 Updated May 15, 2024

Wordle, but with ZK proofs!

Rust 220 13 Updated Dec 29, 2022

Dojo is a toolchain for building provable games and applications

Rust 462 201 Updated May 30, 2025

A Rust zkVM with a Modular Proof System

Rust 141 37 Updated May 22, 2025

Dark Forest v0.3

TypeScript 235 38 Updated Feb 19, 2022

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

TypeScript 45,163 4,862 Updated May 29, 2025

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

JavaScript 37,978 7,125 Updated May 29, 2025

start a company, ruin the world

JavaScript 385 40 Updated Sep 3, 2020

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Rust 1,088 174 Updated May 28, 2025
Next
0