Pinned Repositories
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年秋季數據結構，我的代碼。
Pointers-on-C
store the exercise
some-django-project
farmerzhang1's Repositories
farmerzhang1/cminusfc
USTC 2021 fall compiler theory
farmerzhang1/Pointers-on-C
store the exercise
farmerzhang1/some-django-project
farmerzhang1/Beginning-Linux-Programming
Source code and my own notes & experiments
farmerzhang1/cod2021sp
farmerzhang1/Computer_Programming_A
2019 fall
farmerzhang1/CoreLang
Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
farmerzhang1/csmith
Csmith, a random generator of C programs
farmerzhang1/Digital-Design-20fall
把本地的東西傳到雲端 我要刪掉了
farmerzhang1/DS-20fall
中國科學技術大學2020年秋季數據結構，我的代碼。
farmerzhang1/farmerzhang1.github.io
farmerzhang1/game_programming
code from bilibili: av34118200
farmerzhang1/gobang
不会ai的部分，我太菜了
farmerzhang1/heavy-json
a json parser in idris for practices
farmerzhang1/json-tutorial
从零开始的 JSON 库教程
farmerzhang1/juste-un-autre-editeur-de-text
farmerzhang1/lambda-rust
code taken from https://gitlab.mpi-sws.org/iris/lambda-rust
farmerzhang1/Metascala
A JVM written in Scala
farmerzhang1/mios
A SAT solver written in Haskell.
farmerzhang1/my-RISCV
farmerzhang1/olcNES
NES Emulator, and Tutorial Video Code
farmerzhang1/online-judges
farmerzhang1/plai-cs3520
solutions to cs3520 homework
farmerzhang1/plfa-exercises
farmerzhang1/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
farmerzhang1/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
farmerzhang1/tamarin_toy_protocol
A set of exercises for getting started with the Tamarin prover
farmerzhang1/TIP
Static program analysis for TIP
farmerzhang1/USTC-ncov-AutoReport
中科大健康打卡平台自动打卡脚本，对原始作品进行了表单数据、身份认证的修改，可以很好应对新版的身份认证及打卡系统
farmerzhang1/USTC-Software-2020-Backend-Test