Chris Wong

TimeCapsuleLLM. A LLM trained only on data from certain time periods to reduce modern bias

plainsound-text. A somewhat condensed, Univers-inspired sans serif with integrated Helmholtz-Ellis Just Intonation accidentals.

lean2wasm. Tool for compiling Lean to WASM

Apollo-11. Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

tetris-tutorials.

Decker. A multimedia sketchpad

manifold. Manifold Markets: A market for every question

arroba. Python implementation of Bluesky PDS and AT Protocol, including repo, MST, and sync XRPC methods

tre. The approximate regex matching library and agrep command line tool.

wewerewondering. wewerewondering.com

malwarescarecrow. A tool designed to make physical devices detectable by malware and make system look like virtual machine.

Manifold_Trading_Bots. JavaScript

sudo-rs. A memory safe implementation of sudo and su.

liturgy-for-the-mushroom-at-the-end-of-the-world. Generative Art Project

jpeg-sandbox. Interactively edit individual DCT blocks in any JPEG image in the browser.

html. Type-safe HTML support for Rust

wrp. Web Rendering Proxy: Use vintage, historical, legacy browsers on modern web

McMouser. A mod that fixes various mouse bugs on macOS

forma. An efficient vector-graphics renderer

mastodon-e2ee-specification. Soatok's Proposal for End-to-End Encryption in Mastodon

czkawka. Multi functional app to find duplicates, empty folders, similar images etc.

four-tris. four-tris is a training tool for block-stacking games, built to allow you to quickly explore different situations and review your games.

faq. Frequently Asked TETR.IO questions, as imported from the "bb" bot's .faq command

notifier. Forum notification service for Wikidot

blockfish. An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable of surpassing top players.

numism. I'm at the platform game, I'm at the emulator test, I'm at the combination platform game and emulator test

ptcollab. A collaborative piano-roll music sequencer!

vastringify. Type-safe Printf in C

klystrack. A fork of a chiptune tracker, supporting import of FamiTracker, AHX, FastTracker II and Protracker modules

austral. Systems language with linear types and capability-based security.

itoap. Even faster functions for printing integers with decimal format

marcel. Le docker français :whale: :fr:

rouille. Rust programming, in French.

rugina. Rust programming, in Romanian.

faunatone. Tracker-style microtonal MIDI sequencer

Anime-Girls-Holding-Programming-Books. Anime Girls Holding Programming Books

koka. Koka language compiler and interpreter

remain. Compile-time checks that an enum or match is written in sorted order

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee. eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

template-haskell. The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

OpenUtau. Open singing synthesis platform / Open source UTAU successor

vizh. An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.

simdutf8. SIMD-accelerated UTF-8 validation for Rust.

zellij. A terminal workspace with batteries included

nft_ptr. C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

sandbox. A sand simulation game

lawvere. A categorical programming language with effects

FTP-Deploy-Action. Deploys a GitHub project to a FTP server using GitHub actions

RISCBoy. Portable games console, designed from scratch: CPU, graphics, PCB, and the kitchen sink

quiver. A modern commutative diagram editor for the web.

miniserve. 🌟 For when you really just want to serve some files over HTTP right now!

deps.rs. Keep your dependencies up-to-date

awesome-github-profile-readme. 😎 A curated list of awesome GitHub Profile which updates in real time

mathlib3. Lean 3's obsolete mathematical components library: please use mathlib4

regex2fat. Turn your favourite regex into FAT32

cgb-acid2. 😀 The Acid2 test, now for Game Boy Color! 😀

AISOBMFFWVDFBUTFAII. MP4 / ISOBMFF Box Inspector

hls.js. HLS.js is a JavaScript library that plays HLS in browsers with support for MSE.

html5_rtsp_player. Play RTSP stream from IP camera in browser in this HTML5 player without plugins

tawk.space. Social video chats

CastReceiver. Reference Receiver: CastReceiver shows how to develop a fully Cast Design Checklist compliant receiver with additional features.

corpora. A collection of small corpuses of interesting data for the creation of bots and similar stuff.

name-the-biggest-number. Coq

seq2gif. Convert a ttyrec record into a gif animation directly (almost vt102 compatible terminal emulation).

higgledy. Higher-kinded data via generics

git-revise. A handy tool for doing efficient in-memory commit rebases & fixups

in-c. A realization of Terry Riley's 1964 composition "In C" as an interactive web app

support.Githubbers. Star this repo to show your support to Githubbers!

pixterm. Draw images in your ANSI terminal with true color

terraform-provider-dominos. The Terraform plugin for the Dominos Pizza provider.

magritte. A language for pipe-based programming

generativity. Rust

string-cache. String interning for Rust

mimalloc. mimalloc is a compact general purpose allocator with excellent performance.

pie-hs. An implementation of Pie in Haskell

ryu. Converts floating point numbers to decimal strings

pie. The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Black-Highlighter. An alternate theme for the SCP Wiki with modern CSS styling and improved accessibility.

rustversion. Conditional compilation according to rustc compiler version

restic. Fast, secure, efficient backup program

ToonTalk. Animated programming language for children of all ages

arraylayout. Experiments with array layouts for comparison-based searching

plb. Programming language benchmarks

thin_cstr. Experimental: Make *CStr a thin pointer.

gloo. A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

FocusTimer. A time management utility for GNOME based on the pomodoro technique!

piccolo. An experimental stackless Lua VM implemented in pure Rust

interact. Online introspection for Rust

lets-prove-leftpad. Proving leftpad correct two-dozen different ways

linkme. Safe cross-platform linker shenanigans

nanomorph. 🚅 - Hyper fast diffing algorithm for real DOM nodes

rust-dominator. Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!

MarbleMarcher. A Fractal Physics Game

rust-cpp. Embed C++ directly inside your rust code!

http-state-tokens. Incrementally better HTTP state management.

elsa. Append-only collections for Rust where borrows to entries can outlive insertions

pikelet. A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

ugc. A single-header incremental garbage collector library

gif-rs. eats a gif, spits out fully decoded frames

rust-quiz. Medium to hard Rust questions with explanations

Kind. A modern proof language

twiggy. Twiggy🌱 is a code size profiler

fused-effects. A fast, flexible, fused effect system for Haskell

chcon-badge-2018. Hardware and Firmware for the CHCon 2018 badge

monotonic. Monotonic Data Structures for Rust

net-literals. IP/socket address literals for Rust

slate. A completely customizable framework for building rich text editors. (Currently in beta.)

ineeda. Mocking library for TypeScript and JavaScript using Proxies!

untrusted. A meta-JavaScript adventure game by Alex Nisnevich and Greg Shuflin.

nine. The 9p protocol as a serde format and message types.

sled. the champagne of beta embedded databases

yay. Yet another Yogurt - An AUR Helper written in Go

macro_railroad. A library to generate syntax diagrams for Rust macros.

bound-extras. ScopeT and ScopeH

owl. A parser generator for visibly pushdown languages.

tt-call. Token tree calling convention

rough. Create graphics with a hand-drawn, sketchy, appearance

refined. Refinement types with static checking

rust-delegate. Rust method delegation with less boilerplate

reflect. Compile-time reflection API for developing robust procedural macros (proof of concept)

rclone. "rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

human-panic. Panic messages for humans.

theseus. theseus, functional programming language with fully reversible computation

L2. A minimalist type-inferred programming language with procedural macro support

wasmi. Efficient and versatile WebAssembly interpreter for embedded systems.

Toody. A two-dimensional parser combinator library.

rpds. Rust persistent data structures

im-rs. Assorted immutable collection datatypes for Rust

a-painter. 🎨 Paint in VR in your browser.

nebulet. A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

SATySFi. A statically-typed, functional typesetting system

xray. An experimental next-generation Electron-based text editor

indexmap. A hash table with consistent order and fast iteration; access items by key or sequence index

regl. 👑 Functional WebGL

wanwan-html5. HTML5 version of the flash animation WAN WAN INTENSIFIES.swf

holyjit. Generic purpose Just-In-time compiler for Rust.

wee_alloc. The Wasm-Enabled, Elfin Allocator

slag. A whitespace-sensitive syntax for rust

timeout-readwrite-rs. Adds timeout capabilities to Readers and Writers

not-fair. 🎲 a programming game for NZOI January Camp 2018

ddc. The Disco Discus Compiler

tornadofx. Lightweight JavaFX Framework for Kotlin

proofsweeper. Play Minesweeper by formally proving your moves in Idris

ly. A lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).

DeepAA. make ASCII Art by Deep Learning

dlmalloc-rs. dlmalloc ported into Rust

git-flight-rules. Flight rules for git

arrayvec. A vector with a fixed capacity. (Rust)

sound-and-complete. An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

higher-rank. A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

krackinfo. Vendor Response Matrix for KRACK WPA2 (Key Reinstallation Attack)

1ml. 1ML prototype interpreter

jdenticon. Javascript library for generating identicons. Running in the browser and on Node.js.

alice. A feature-rich, two-dimensional, recreational programming language. With mirrors.

fetlang. Fetish-themed programming language

pikkr. JSON parser which picks up values directly without performing tokenization in Rust

idris-go. A Go backend for Idris

nz-election-forecast. Probabilitstic prediction model for the New Zealand general election

forget. Continuous post deletion for twitter, mastodon, and misskey

goaldi. Go

lolremez. 📈 Polynomial Approximations using the Remez Algorithm

generic-traverse. Demonstration for how to build "traverse" using GHC.Generics efficiently

compiletest-rs. An extraction of the compiletest utility from the Rust compiler

iterare. Array methods + ES6 Iterators = :heart:

tachyons. Functional css for humans

Pmachine. Fork of the P-machine emulator, for UAntwerp’s Compilers course

azurescens. Renders interactive fractal-like animations

tickgrinder. Low-latency algorithmic trading platform written in Rust

ministg. Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

markaby. markup as ruby (official repository)

veggies. Hopefully verifiable code generation in GHC

kktCSS. CSS Styling for Mastodon to look like Kirakiratter

mastodon. Your self-hosted, globally interconnected microblogging community

CS410-16. being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde

comrak. CommonMark + GFM compatible Markdown parser and renderer

choose-your-own-derivative. Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

store. Fast binary serialization in Haskell

sudbury. Haskell implementation of the wayland protocol

koakuma. Discord bot for a Danbooru tag-guessing game

Iosevka. Versatile typeface for code, from code.

c-c-combo.el. Make Stuff happen after you reach a point of ~60wpm

rust-pretty-assertions. Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.

inko. A language for building concurrent software with confidence

throw_out_your_templates. This module is a rant (with code) encouraging Python developers to consider using pure Python for HTML generation rather than always using template languages. Read the module docstring for the rest of this rant. The temporary name is an ode to Ian Bicking's blog post 'Throw out your frameworks' (http://blog.ianbicking.org/2010/03/01/throw-out...). The ideas and code in it are an echo of what Stan, Breve, and various lisp libraries have been doing for a long time.

SaferCPlusPlus. A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types

cargo-lichking. Automated license checking for rust. cargo lichking is a Cargo subcommand that checks licensing information for dependencies.

sibylfs_src. Source for SibylFS model and test tools

listr. Terminal task list

cborg. Binary serialisation in the CBOR format

malfunction. Malfunctional Programming

attrs. Python Classes Without Boilerplate

avr-vm. VM with JIT-compiler for ATMega32 written in Rust

hydrogen. :atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

et-book. A webfont of the typeface used in Edward Tufte’s books.

cargo-outdated. A cargo subcommand for displaying when Rust dependencies are out of date

saldl. A lightweight well-featured CLI downloader optimized for speed and early preview.

cargo-marvin. https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/

blerp. xkcd #1692: Man Page

alacritty. A cross-platform, OpenGL terminal emulator.

rain. Visualize vertical data inside your terminal 💦