farmerzhang1 Goto Github PK
Name: Tung-Che Chang
Type: User
Company: Academia Sinica
Bio: PL Enthusiast
Location: Taipei, Taiwan
Name: Tung-Che Chang
Type: User
Company: Academia Sinica
Bio: PL Enthusiast
Location: Taipei, Taiwan
Source code and my own notes & experiments
USTC 2021 fall compiler theory
2019 fall
Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
Csmith, a random generator of C programs
把本地的東西傳到雲端 我要刪掉了
中國科學技術大學2020年秋季數據結構,我的代碼。
code from bilibili: av34118200
不会ai的部分,我太菜了
a json parser in idris for practices
从零开始的 JSON 库教程
code taken from https://gitlab.mpi-sws.org/iris/lambda-rust
A JVM written in Scala
A SAT solver written in Haskell.
NES Emulator, and Tutorial Video Code
solutions to cs3520 homework
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
store the exercise
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
A set of exercises for getting started with the Tamarin prover
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
Static program analysis for TIP
中科大健康打卡平台自动打卡脚本,对原始作品进行了表单数据、身份认证的修改,可以很好应对新版的身份认证及打卡系统
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.