alf239

wro4j-tag

JSP tags for wro4j project

AoC2019

Advent of Code 2019

github-mathjax

Chrome extension for rendering LaTeX equations in GitHub with MathJax

numerust

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

alf239.github.io

Home sweet home

AoC-sharp

AoC in F#

AoC2015

AoC2020

Advent of Code 2020

AoC2020.fs

Advent of Code 2020 in F#

AoC2021

Advent of Code 2021

AoC2022

AoC2023

autoversion

Cross-language tool written in Python to automatically version projects

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

daskeyboard.io

Q - Das Keyboard Q documentation website for REST API and more.

ed_to_grep

https://avva.livejournal.com/3147789.html

EPIJudge

EPI Judge - Preview Release

ET-Jekyll

A minimal Jekyll theme inspired by Tufte CSS

fingersharp

Finger trees in F# - a toy project to learn F#

ial

The Iowa Agda Library

Idris2

A dependently typed programming language, a successor to Idris

learning-tla

minecraft

MIT6_172F18

Performance Engineering of Software Systems

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

procats

18.S097: Programming with Categories

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

QuantLib

The QuantLib C++ library

rusty-aoc