Stars
🎨 themer takes a set of colors and outputs themes for your apps (editors, terminals, wallpapers, and more).
A CLI that converts natural language to shell commands.
Mirror of https://gitlab.com/verso-browser/verso
Concurrent Programming with Effect Handlers
Yet another ActivityPub server implementation written in OCaml
The TacTok automated Coq proof script synthesis tool
A sub Javascript interpreter for interpreting itself
Tiny subset of JavaScript for ocap-safe universal mobile code
The world’s fastest framework for building websites.
A TypeScript-to-Luau Compiler for Roblox
An alternative bootstrapper for Roblox with a bunch of extra features.
AdonisJS is a TypeScript-first web framework for building web apps and API servers. It comes with support for testing, modern tooling, an ecosystem of official packages, and more.
Free Obisidian Publish alternative, for publishing your digital garden.
🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.
A compiler for the esoteric language Piet, targeting multiple backends.