farmerzhang1 Goto Github PK

beginning-linux-programming

Source code and my own notes & experiments

cminusfc

USTC 2021 fall compiler theory

cod2021sp

computer_programming_a

2019 fall

corelang

Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992

csmith

Csmith, a random generator of C programs

digital-design-20fall

把本地的東西傳到雲端 我要刪掉了

ds-20fall

中國科學技術大學2020年秋季數據結構，我的代碼。

farmerzhang1.github.io

game_programming

code from bilibili: av34118200

gobang

不会ai的部分，我太菜了

heavy-json

a json parser in idris for practices

json-tutorial

从零开始的 JSON 库教程

juste-un-autre-editeur-de-text

lambda-rust

code taken from https://gitlab.mpi-sws.org/iris/lambda-rust

metascala

A JVM written in Scala

mios

A SAT solver written in Haskell.

my-riscv

olcnes

NES Emulator, and Tutorial Video Code

online-judges

plai-cs3520

solutions to cs3520 homework

plfa-exercises

plfa-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

pointers-on-c

store the exercise

smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

some-django-project

tamarin_toy_protocol

A set of exercises for getting started with the Tamarin prover

tiger-ml

Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML

tip

Static program analysis for TIP

ustc-ncov-autoreport

中科大健康打卡平台自动打卡脚本，对原始作品进行了表单数据、身份认证的修改，可以很好应对新版的身份认证及打卡系统