Janiczek

linalg

Linear algebra library for Bend

benda

Numba-like Python translation to HVM

data-oriented-design

A curated list of data oriented design resources.

pomodorolm

A simple, good looking and multi-platform pomodoro tracker

gui-challenges

Components from the YouTube show GUI Challenges: accessible, responsive, adaptive and cross browser components.

aml-doc

Collection of documents about The Amlantis System.

elm-package-starter

Starter template for an Elm package.

conduit

Conduit-like demo app, demonstrating the use of elm-pghttp

PgProtoKt

A framework for building Postgres Wire-Protocol backends on the JVM, backed by Netty

tiny-decoders

Type-safe data decoding for the minimalist.

dream

Tidy, feature-complete Web framework

ksimple

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

mcfly

Fly through your shell history. Great Scott!

shrinkray

Shrinkray is a modern multi-format test-case reducer

elm-natural

The natural numbers, ℕ = { 0, 1, 2, ... }.

watchexec

Executes commands in response to file modifications

samply

Command-line sampling profiler for macOS and Linux

ast-grep

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

apply-patches

Hacky script to apply the patches of elm-janitor

blog-cells

Add interactive code snippets to any blog or webpage.

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

trynocular

lazy generators with observation

agda2hvm

firefly-boot

Bootstrap compiler for Firefly

vhs

Your CLI home video recorder 📼

FFmpeg-CRT-transform

CRT simulation without shaders... the slow way

neverflow

Set of macros that guard against buffer overflows. Based on C99 VLA feature.

elm-interpreter

master-thesis-template

Master thesis template for Computer Science at TU Delft

FastDictionaryTest

Playground for Dictionary performance improvements