stereobooster

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

naming-cheatsheet

Comprehensive language-agnostic guidelines on variables naming. Home of the A/HC/LC pattern.

1on1-questions

Mega list of 1 on 1 meeting questions compiled from a variety to sources

uPlot

📈 A small, fast chart for time series, lines, areas, ohlc & bars

ts-toolbelt

👷 TypeScript's largest type utility library

athens

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

ncspot

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

hegel

An advanced static type checker

odiff

The fastest pixel-by-pixel image visual difference tool in the world.

scryer-prolog

A modern Prolog implementation written mostly in Rust.

pancake

Experimental charting library for Svelte

awesome-fantasy

:european_castle: Fantasy literature worth reading

the-power-of-prolog

Introduction to modern Prolog

webgl-plot

A high-Performance real-time 2D plotting library based on native WebGL

smalltt

Demo for high-performance type theory elaboration

hukum

An NPM module that displays Github Action progress in the terminal and aims to improve your development experience by printing status in realtime.

ply

CSS inspection aided by visual regression pruning

models-of-interaction

Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation

rhombus-prototype

Brainstorming and draft proposals for Rhombus

detect-es-version

FormCoreJS

A minimal pure functional language based on self dependent types.

alloydocs

Proposed documentation for alloytools.org

TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

optimul

Multiplication on optimal λ-calculus reducers

epidemic-register

Beating the CAP theorem with the epidemic register

tree-sitter-wasm-prebuilt

Prebuilt WASM binaries for tree-sitter's language parsers.

Lama-devel

crosspost-markdown

OCanren

Statically typed embedding of miniKanren relational programming language into Objective Caml