Little routing primitives

Basic semantic search for a tweet archive

Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solidity or vyper

NixOS-like services for Nix flakes

NixOS MicroVMs

Security Reviews and Audit Checklists

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Fast, Declarative, Reproducible, and Composable Developer Environments

A lisp dialect based on pattern matching and term rewriting

SuperPrompt is an attempt to engineer prompts that might help us understand AI agents.

Official repository of SepReformer for speech separation

OAuth 2.0 clients for popular providers

A fast Solidity compiler for EVM simulations, written in TypeScript

🔐 A curated list of awesome WebAuthn and Passkey resources

An animated number component for React, Vue, and Svelte.

The lightweight, user-friendly, distributed relational database built on SQLite.

A virtual monitor for screen sharing

Fly.io with Bun and SQLite.

Compact and high quality YAML, TOML, JSONC and JSON5 parsers

Build your next app with sync.

Cloud-native high-performance edge/middle/service proxy

A small, fast, pure JavaScript type-stripper that uses the official TypeScript parser.

Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, Chromium, Redis and WebKit/Safari

Symbolic stack CFG generator for EVM

Simplify writing TypeScript AWS lambda APIs and functions with inferred strong typing and declarative best practices out of the box.

The modular and type safe schema library for validating structural data 🤖