Starred repositories
The AI coding agent built for the terminal.
This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.
⭐️ A friendly language for building type-safe, scalable systems!
kitajs / html
Forked from nicojs/typed-html🏛️ Super fast JSX runtime to generate HTML strings that works everywhere. If it supports string we got you covered.
An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can use to supplement their learning
Curated list of project-based tutorials
Learn System Design concepts and prepare for interviews using free resources.
Solutions to Linear Algebra Done Right, Third Edition
💯 A collection of Gleam libraries, projects, and resources
A curated list of awesome Anki add-ons, decks and resources
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
Option types for TypeScript with real gradual typing [moved to Codeberg]
📖 A collection of pure POSIX sh alternatives to external processes.
Scala incremental compiler library, used by sbt and other build tools
Domain-Specific Languages of Mathematics
show conflict classes in classpath. fork from https://github.com/todesking/sbt-conflict-classes
Open-source implementation of the K programming language
Awesome materials about database development.
Master programming by recreating your favorite technologies from scratch.
Hush is a unix shell based on the Lua programming language
yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor
Easily and securely send things from one computer to another 🐊 📦