i-zhen

Software Engineer @ Antgroup Inc.

University of Edinburgh

Pinned Repositories

30nichideosjisaku
『30日でできる！ OS自作入門』川合秀実氏(著)のMacOSX開発環境を整えることができます
Language:Makefile0 1 00
500lines
500 Lines or Less
Language:TeX0 2 00
AlgoSolution
Solutions for Problems of Algorithm Contests and Online Judges
Language:C++0 2 02
BettaFish
微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。
Language:Python00
ChezScheme
Chez Scheme
Language:Scheme0 1 00
PPrinter
A Haskell library that supports deriving of pretty printing functions on data types
Language:Haskell1 1 00
Railgun
A fast, lightweight kernel of Online Judge system
Language:C++2 1 02
Reactor-C
A Small-C, subset of C, compiler powered by Java and ASM 4.2
Language:Java1 1 01
USACO-training
Complete solutions with codes of USACO training
Language:C++56 4 148

i-zhen's Repositories

i-zhen/USACO-training
Complete solutions with codes of USACO training
Language:C++56 4 148
i-zhen/Railgun
A fast, lightweight kernel of Online Judge system
Language:C++2 1 02
i-zhen/PPrinter
A Haskell library that supports deriving of pretty printing functions on data types
Language:Haskell1 1 00
i-zhen/Reactor-C
A Small-C, subset of C, compiler powered by Java and ASM 4.2
Language:Java1 1 01
i-zhen/500lines
500 Lines or Less
Language:TeX0 2 00
i-zhen/AlgoSolution
Solutions for Problems of Algorithm Contests and Online Judges
Language:C++0 2 02
i-zhen/ChezScheme
Chez Scheme
Language:Scheme0 1 00
i-zhen/Childhood_Teenager
for backup
Language:HTML0 1 00
i-zhen/Bilibili-Go-Backup
Bilibili-Go-Backup
Language:Go
i-zhen/dot-vimrc-emacs
VIM config files, based on Maple's; Basic Emacs config for Haskell
Language:Emacs Lisp2 01
i-zhen/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Language:Scala2 0
i-zhen/i-zhen.github.io
Hexo blog
Language:HTML2 0
i-zhen/MS-DOS
The original sources of MS-DOS 1.25 and 2.0, for reference purposes
Language:Assembly1 0
i-zhen/nanopass-framework-scheme
The new nanopass framework; an embedded DSL for writing compilers in Scheme
Language:Scheme0 0
i-zhen/p423-compiler
A Scheme to x86-64 compiler in Scheme
Language:Scheme0 0
i-zhen/PG-Coursework
Language:Coq2 0
i-zhen/plt
A path to Programming Language Theory enlightenment
Language:CSS2 0
i-zhen/portfolio
Language:HTML1 0
i-zhen/Prism
A interpreter for an ML-like first-order functional programming language, powered by Scala
Language:Scala1 0
i-zhen/pysonar2
a type inferencer and indexer for Python
Language:Java1 0
i-zhen/resume
CV
Language:HTML2 0
i-zhen/rust_thebook_projects
Language:Rust2 0
i-zhen/Smart-Intermediate-Representation
A brand-new multi-scenarios smart contract compiler framework
Language:Rust0 0
i-zhen/SwiftGuide
这份指南汇集了Swift语言主流学习资源，并以开发者的视角整理编排。
Language:Swift1 0
i-zhen/tech
Language:HTML2 0
i-zhen/Times
Times•λ , the entrance of project lambda and the world
Language:Haskell2 0
i-zhen/yin
the Yin programming language
Language:Java2 0
i-zhen/yscheme
a compiler from a subset of Scheme into X64
Language:Scheme1 0
i-zhen/yscheme-1
a compiler from Scheme into X64
Language:Scheme0 0
i-zhen/zy812
zy812 web, earliest ancestor of online education
Language:HTML2 0