devMYC

playwright

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

mojo

The Mojo Programming Language

duckdb

DuckDB is an analytical in-process SQL database management system

tinygo

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

neon

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

weaviate

Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of a cloud-native database​.

pkl

A configuration as code language with rich validation and tooling.

tigerbeetle

The financial transactions database designed for mission critical safety and performance.

pkgx

the last thing you’ll install

effect

An ecosystem of tools for building production-grade applications in TypeScript.

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

ecto

A toolkit for data mapping and language integrated query.

encore

Development Platform for building robust type-safe distributed systems with declarative infrastructure

calcite

Apache Calcite

automerge

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

pgrx

Build Postgres Extensions with Rust!

pdqsort

Pattern-defeating quicksort.

jsr

The open-source package registry for modern JavaScript and TypeScript

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

zap

blazingly fast backends in zig

rbs

Type Signature for Ruby

fp-go

functional programming library for golang

Examples

A collection of TLA⁺ specifications of varying complexities

verus

Verified Rust for low-level systems code

moonbit-docs

The docs of MoonBit programming language

write-you-a-vector-db

A Vector Database Tutorial (over CMU-DB's BusTub system)

wild

coroutine

Durable coroutines for Go

dbos-transact

The TypeScript framework for backends that scale

hasuracon-2022