Stars
A purely functional programming language with first class types
Draft proposal for additional sub/superscript characters in Unicode
A Dependently Typed Functional Programming Language
First-class support for WebSockets within SvelteKit by attaching a WebSocket server to the global state.
A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
Compiler for the Vale programming language - http://vale.dev/
'Update Estimated Time' Plug-In for OmniFocus
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Boilerplate for Chrome Extension Svelte Typescript project
Evolutionary algorithm that plays the snake game
lizard-heart / wikiDarkMode
Forked from AndrewBelt/WiTeXDark mode for Wikipedia
db8bot aims to make academic journals & digital learning accessible to all.
Python script to find numbers that are "closest" to being a counter example to the collatz conjecture