Pinned

1. linux-utils linux-utils Public

   A bunch of scripts that are useful for me and hopefully others.

   Python

2. turing-project turing-project Public

   A naïve multitape Turing machine simulator

   C++ 4

3. better_irsim better_irsim Public

   An improved simulator for the IR used in Nanjing University's compiler course (https://cs.nju.edu.cn/changxu/2_compiler/index.html)

   OCaml 3

4. janken janken Public

   A naïve LAN TUI game written in C with ncurses & Linux networking API.

   C 1

5. NJU course schedule => iCalendar: A ... NJU course schedule => iCalendar: A quick and dirty script to convert JSON data downloaded from NJU ehall containing course schedule to ICalendar file (.ics).

   1

   #!/usr/bin/env python3

   2

   import json

   3

   import uuid

   4

   import datetime as dt

   5

   from dataclasses import dataclass

6. Church numerals in C++ template (inc... Church numerals in C++ template (including subtraction)

   1

   #define testNum(num, val)                                                      \

   2

       do {                                                                       \

   3

           static_assert(FromChurch<num>::get == (val));                          \

   4

           static_assert(FromChurch<Pred::template Ap<num>::V>::get ==            \

   5

                         ((val) > 0 ? (val)-1 : 0));                              \