Z.Y. (i-zhen)

i-zhen

Geek Repo

Company:University of Edinburgh

Home Page:https://izhen.me

Github PK Tool:Github PK Tool


Organizations
ProLambda
sysu

Z.Y.'s repositories

USACO-training

Complete solutions with codes of USACO training

Railgun

A fast, lightweight kernel of Online Judge system

Language:C++Stargazers:2Issues:2Issues:0

PPrinter

A Haskell library that supports deriving of pretty printing functions on data types

Language:HaskellStargazers:1Issues:2Issues:0

Reactor-C

A Small-C, subset of C, compiler powered by Java and ASM 4.2

Language:JavaStargazers:1Issues:2Issues:0

500lines

500 Lines or Less

Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

AlgoSolution

Solutions for Problems of Algorithm Contests and Online Judges

Language:C++Stargazers:0Issues:3Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

Bilibili-Go-Backup

Bilibili-Go-Backup

Language:GoStargazers:0Issues:0Issues:0

dot-vimrc-emacs

VIM config files, based on Maple's; Basic Emacs config for Haskell

Language:Emacs LispStargazers:0Issues:2Issues:0

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

MS-DOS

The original sources of MS-DOS 1.25 and 2.0, for reference purposes

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

nanopass-framework-scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Language:SchemeLicense:MITStargazers:0Issues:1Issues:0

p423-compiler

A Scheme to x86-64 compiler in Scheme

Language:SchemeStargazers:0Issues:0Issues:0
Language:CoqLicense:GPL-3.0Stargazers:0Issues:2Issues:0

plt

A path to Programming Language Theory enlightenment

Language:CSSStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

Prism

A interpreter for an ML-like first-order functional programming language, powered by Scala

Language:ScalaStargazers:0Issues:2Issues:0

pysonar2

a type inferencer and indexer for Python

Language:JavaStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

Smart-Intermediate-Representation

A brand-new multi-scenarios smart contract compiler framework

License:Apache-2.0Stargazers:0Issues:0Issues:0

SwiftGuide

这份指南汇集了Swift语言主流学习资源,并以开发者的视角整理编排。

Language:SwiftStargazers:0Issues:1Issues:0
Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

Times

Times•λ , the entrance of project lambda and the world

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

yin

the Yin programming language

Language:JavaLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

yscheme

a compiler from a subset of Scheme into X64

Language:SchemeStargazers:0Issues:2Issues:0

yscheme-1

a compiler from Scheme into X64

Language:SchemeStargazers:0Issues:1Issues:0

zy812

zy812 web, earliest ancestor of online education

Language:HTMLStargazers:0Issues:2Issues:0