Pinned Repositories
ocaml-interpreter
A basic interpreter for OCaml subset. Assignment for Functional & Logical Programming at UTokyo, 2023S.
prover
Homework for the final project of "Computation Theory" lecture at UTokyo, 2022 Spring Sem.
mincaml-compiler
repository of cpu&compiler experiment for group No.8, at UTokyo, 2023A Semester.
GLR-C
a simple interpreter based on GLR(1) implemented in Python
DrawEllipses
expressjs-blog
用expressjs开发的个人博客系统
Forge-Documentation-CN
The Simplified Chinese translation of MinecraftForge Documentation.
gittest
to learn how to use git.
iscg2024-assignment-a1
iscg2024-assignment-i1
triplewhopper's Repositories
triplewhopper/DrawEllipses
triplewhopper/iscg2024-assignment-i1
triplewhopper/iscg2024-assignment-r1
triplewhopper/iscg2024-assignment-a1
triplewhopper/iscg2024-assignment-m1
triplewhopper/triplewhopper.github.io
triplewhopper/Reversi-AI
A game AI for reversi. Assignment for Functional and Logic programming Lab at UTokyo, 2023 S
triplewhopper/mincaml-compiler
repository of cpu&compiler experiment for group No.8, at UTokyo, 2023A Semester.
triplewhopper/min-caml-compiler
a compiler implementation for min-caml language, a subset of OCaml. Project for UTokyo CPU experiment.
triplewhopper/ocaml-interpreter
A basic interpreter for OCaml subset. Assignment for Functional & Logical Programming at UTokyo, 2023S.
triplewhopper/gittest
to learn how to use git.
triplewhopper/prover
Homework for the final project of "Computation Theory" lecture at UTokyo, 2022 Spring Sem.
triplewhopper/GLR-C
a simple interpreter based on GLR(1) implemented in Python
triplewhopper/Forge-Documentation-CN
The Simplified Chinese translation of MinecraftForge Documentation.
triplewhopper/r5rs
istube22, optional c project
triplewhopper/LinearClassifier-Demo
triplewhopper/expressjs-blog
用expressjs开发的个人博客系统