Stars
A very minimal implementation of the core idea of Hypothesis
An implementation of the SplitMix algorithm for a splittable non-cryptographic random number generator in TypeScript.
TypeScript implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs
Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs
A modern runtime for JavaScript and TypeScript.
High-level OAuth 2.0 powered by Deno KV.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A transformer-based network model for pitch detection
A simple & elegant experiment tracking framework that integrates persistence logic & best practices directly into Python
CLI based natural language queries on local or remote data
A fast and lightweight native programming language
A guidance language for controlling large language models.
A Git-compatible VCS that is both simple and powerful
Systems language with linear types and capability-based security.
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
floe / smc_util
Forked from alexleigh/smc_utilApple System Management Control (SMC) utility
Haxophone, an electronic musical instrument that resembles a saxophone
sqlite3 in ur indexeddb (hopefully a better backend soon)
A very small statically-typed embeddable scripting language.
A powerful, lightweight theme for Hugo built with Tailwind CSS.
24 channel, 100Msps logic analyzer hardware and software
Probabilistic language based on pattern matching and constraint propagation, 153 examples
In this project we combine techniques from neural voice cloning and musical instrument synthesis to achieve good results from as little as 16 seconds of target data.
Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards