Giters
stereobooster

stereobooster

Geek Repo

394

followers

25

following

403

stars

Location:Berlin, Germany

Home Page:https://stereobooster.com

Github PK Tool:Github PK Tool

stereobooster's starred repositories

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

Stargazers:30417Issues:407Issues:81

unplugin-icons

🤹 Access thousands of icons as components on-demand universally.

Language:TypeScriptLicense:MITStargazers:3815Issues:12Issues:227

napkin-math

Techniques and numbers for estimating system's performance from first-principles

Language:RustLicense:MITStargazers:3272Issues:89Issues:15

CleverAlgorithms

Clever Algorithms: Nature-Inspired Programming Recipes

Language:TeXStargazers:2014Issues:110Issues:0

StandWithUkraine

#StandWithUkraine banner and related documents

Language:JavaScriptLicense:CC0-1.0Stargazers:1385Issues:29Issues:137

tolgee-platform

Developer & translator friendly web-based localization platform

Language:KotlinLicense:NOASSERTIONStargazers:1321Issues:14Issues:521

pancake

Experimental charting library for Svelte

Language:JavaScriptLicense:MITStargazers:1285Issues:34Issues:25

noulith

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

Language:RustStargazers:1131Issues:9Issues:11

mini-typescript

A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

Language:TypeScriptLicense:MITStargazers:1111Issues:11Issues:10

web3-is-going-great

A timeline of some of the greatest hits in cryptocurrencies, NFTs, and other web3 projects since the beginning of 2021

Language:JavaScriptLicense:MITStargazers:776Issues:11Issues:407

datafun

Research on integrating datalog & lambda calculus via monotonicity types

Language:TeXStargazers:384Issues:42Issues:2

type-plus

Additional types and types adjusted utilities for TypeScript

Language:TypeScriptLicense:MITStargazers:365Issues:5Issues:42

counterexamples

Counterexamples in Type Systems

Language:JavaScriptStargazers:360Issues:16Issues:10

valita

A typesafe validation & parsing library for TypeScript.

Language:TypeScriptLicense:MITStargazers:335Issues:9Issues:36

Concentric-CSS

A standard order for CSS properties that starts at the outer edge of the box model and moves inward

Language:CSSStargazers:298Issues:17Issues:6

lawvere

A categorical programming language with effects

Language:HaskellLicense:MITStargazers:265Issues:13Issues:7

inactive-css

A list of rules for when CSS properties have no effect

Language:JavaScriptLicense:Apache-2.0Stargazers:234Issues:4Issues:5

bibliography

Bibliography of Scheme research (readscheme.org and beyond)

Language:SchemeStargazers:145Issues:17Issues:17

WebAssembly-illustrated

WebAssembly (Wasm) illustrated

License:BSD-3-ClauseStargazers:93Issues:7Issues:2

metaocaml-bibliography

MetaML and MetaOCaml bibliography

Stargazers:83Issues:16Issues:0

APL.jl

Language:JuliaLicense:NOASSERTIONStargazers:63Issues:6Issues:3

aristotl

A logical fallacy lookup tool

Language:TypeScriptLicense:MITStargazers:41Issues:6Issues:2

Some-Papers-I-Really-Liked

I refer you to the name of the repository

Stargazers:25Issues:3Issues:0

zero-to-a11y-expert

License:MITStargazers:21Issues:4Issues:1

dKanren

miniKanren variant with a functional syntax, expressing disjunction via pattern matching

Language:RacketLicense:MITStargazers:16Issues:4Issues:0

ml-w

Minimal ML language to to demonstrate the W type infererence algorithm

Language:HaskellStargazers:11Issues:4Issues:0

Cardboard-Prolog

MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

Language:SchemeLicense:UnlicenseStargazers:8Issues:3Issues:0

Conjunctive-GLR

GLR interpreter generator for Okhotin conjunctive grammars

Language:PythonLicense:GPL-3.0Stargazers:4Issues:0Issues:0

feelings-wheel

Rotating Feelings Wheel

Language:HTMLStargazers:2Issues:0Issues:0

Open-Logic-Project

Language:TeXLicense:CC-BY-4.0Stargazers:2Issues:0Issues:0