Pinned Loading

1. carl carl Public

   Term Rewriting System (TRS) to transform expression trees based on user-defined rewrite rules

   C++

2. dotfiles dotfiles Public

   my dotfiles

   TeX

3. hamming7-4-codec hamming7-4-codec Public

   Simple small C++ library for encoding/decoding bytes with the hamming (7,4) linear error correction code.

   C++

4. reed-solomon-codec reed-solomon-codec Public

   C++ codec for encoding and erasure correction

   C++

5. lost-in-the-forest lost-in-the-forest Public

   Cool game

   C# 1

6. our-earth our-earth Public

   Game about saving the world from climate change.

   C# 2