Stars
Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
INVENTED BY TOM: The 1st JSON-Infused Zonal Metadata Language (JIZML) paradigm
jless is a command-line JSON viewer designed for reading, exploring, and searching through JSON data.
Gantt chart for React with Typescript
Customizable material design 3 (material you) for Ionic applications.
Lightweight key-value storage library for Browser, Node.js, and In-Memory.
🎨 The adorable charts library for Golang.
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
📨 The ultimate social media scheduling tool, with a bunch of AI 🤖
sqlite3 in ur indexeddb (hopefully a better backend soon)
An open Apple AirDrop implementation written in Python
YSMRR is a package that provides simple multi-line compatible spinners for Go applications.
Primer is GitHub's design system. This is the CSS implementation
Generate custom icon webfonts from the comfort of the command line.
Responsive and reliable web apps with Elm and Twitter Bootstrap
A Typescript Deno-first refactoring of Mustache.js
📘 Quick and Easy TypeScript Express Starter
VSCode extension to turn TypeScript errors into plain English
A CSS framework for building faithful recreations of operating system GUIs.
Practical concurrency guide in Go, communication by channels, patterns
Command and library to convert JSX snippets to Om/Reagent/Rum or other Clojurescript-style format.
Simply embed Elm apps as components into your Vue.js applications
🔮 Graphile's Crystal Monorepo; home to Grafast, PostGraphile, pg-introspection, pg-sql2 and much more!