joshuapassos

gotop

A terminal based graphical activity monitor inspired by gtop and vtop

pg-listen

📡 PostgreSQL LISTEN & NOTIFY for node.js that finally works.

pgrx

Build Postgres Extensions with Rust!

plv8ify

Turn JS/TS files into PLV8 functions

pglite

Lightweight Postgres packaged as WASM into a TypeScript library for the browser, Node.js, Bun and Deno from https://electric-sql.com

ts-patch

Augment the TypeScript compiler to support extended functionality

react-mosaic

A React tiling window manager

dockerc

container image to single executable compiler

lean4

Lean 4 programming language and theorem prover

ts-to-zod

Generate zod schemas from typescript types/interfaces

zig-aio

io_uring like asynchronous API and coroutine powered IO tasks for zig

intermock

Mocking library to create mock objects with fake data for TypeScript interfaces

DeskThing

Desk Thing: The Discord Thing, Trello Thing, The Weather Thing, The Macro Thing, Just not The Car Thing anymore

dex-lang

Research language for array processing in the Haskell/ML family

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

quivr

Open-source RAG Framework for building GenAI Second Brains 🧠 Build productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic, VertexAI, Ollama, LLMs, Groq that you can share with users ! Efficient retrieval augmented generation framework

theorem-proving-in-lean-4

exercises from the book theorem proving in lean 4

teable

✨ The Next Gen Airtable Alternative: No-Code Postgres

superbird-buildroot

Buildroot environment for superbird target (Spotify Car Thing)

elfconv

An experimental AOT compiler that translates Linux ELF binary to WebAssembly

rvemu

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

oban

💎 Robust job processing in Elixir, backed by modern PostgreSQL and SQLite3

libxev

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + WASI. Available as both a Zig and C API.

GaugeBoy

pldotnet

Build PostgreSQL functions, procedures, and triggers in C# and F#

PLHaskell

A Haskell extension for PostgreSQL that allows embedded Haskell code.

superbird-debian-kiosk

# Debian Chromium Kiosk on Spotify Car Thing (superbird)

index_advisor

PostgreSQL Index Advisor

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

ts-arithmetic

Perform Type Level arithmetic in TypeScript