Adriandmen's Stars
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
github/gitignore
A collection of useful .gitignore templates
iluwatar/java-design-patterns
Design patterns implemented in Java
thedaviddias/Front-End-Checklist
🗂 The perfect Front-End Checklist for modern websites and meticulous developers
redis/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
juliangarnier/anime
JavaScript animation engine
michalsnik/aos
Animate on scroll library
lichess-org/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
sql-js/sql.js
A javascript library to run SQLite on the web.
Z3Prover/z3
The Z3 Theorem Prover
django-cms/django-cms
The easy-to-use and developer-friendly enterprise CMS powered by Django
thunlp/WantWords
An open-source online reverse dictionary.
lit/lit-element
LEGACY REPO. This repository is for maintenance of the legacy LitElement library. The LitElement base class is now part of the Lit library, which is developed in the lit monorepo.
jhlywa/chess.js
A TypeScript chess library for chess move generation/validation, piece placement/movement, and check/checkmate/draw detection
LeelaChessZero/lc0
The rewritten engine, originally for tensorflow. Now all other backends have been ported here.
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
TryItOnline/tryitonline
The Try It Online family of online interpreters.
charcoal-lang/Charcoal
A concise language for sketching ASCII art.
lmendo/MATL
A programming language based on MATLAB and suitable for code golfing
DJMcMayhem/Brain-Flak
A minimalist esolang
DJMcMayhem/V
A golfing language inspired by everybody's favorite text editor, vim.
phase/o
Esoteric stack-oriented programming language for code golf
ocadaruma/tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
cheddar-lang/Cheddar
🧀 Cheddar, the language that works for you
ConceptJunkie/rpn
RPN command-line calculator
vihanb/TeaScript
TeaScript 3, the JavaScript golfing language
muddyfish/PYKE
Indev golfing language
DJMcMayhem/ThePeoplesPython
ConorOBrien-Foxx/Jolf
A golfier prefix version of JavaScript
MCMastery/s-lang
A string manipulation golfing language