Pinned Repositories
8cc
A Small C Compiler
algo
数据结构和算法必知必会的50个代码实现
arch
极客时间专栏《许式伟的架构课》相关的源代码：冯诺伊曼结构
Barliman
Prototype smart text editor
bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
chainer
A flexible framework of neural networks for deep learning
ChezScheme
Chez Scheme
guagua777's Repositories
guagua777/chainer
A flexible framework of neural networks for deep learning
guagua777/ChezScheme
Chez Scheme
guagua777/classloader-malicious-code
guagua777/classloadertest
guagua777/CompCert
The CompCert formally-verified C compiler
guagua777/cs-advanced
guagua777/eoc-enrico
guagua777/Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
guagua777/groovy-cps
Groovy execution in the continuation passing style
guagua777/historical
Some educational code written 10+ years ago at IU
guagua777/Idris2
A purely functional programming language with first class types
guagua777/java-compiler
guagua777/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
guagua777/jsonschema2pojo
Generate Java types from JSON or JSON Schema and annotate those types for data-binding with Jackson, Gson, etc
guagua777/lcc
llvm-based c compiler
guagua777/Learn-LLVM-12
《Learn LLVM 12》的非专业个人翻译
guagua777/Learn-LLVM-12-code
Learn LLVM 12, published by Packt
guagua777/mapreduce
guagua777/miniSysY-tutorial
BUAASE2019级的编译实验的实验指导与实验安排
guagua777/mold
mold: A Modern Linker
guagua777/pipeline-groovy-lib-plugin
guagua777/platform
Multi platform setup for Coq, Coq libraries and tools
guagua777/public-student-support-code
Public helper code for p423/p523 students (Racket)
guagua777/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
guagua777/racket_example
guagua777/rescript-temp
guagua777/springcache
guagua777/the-super-tiny-compiler
:snowman: Possibly the smallest compiler ever
guagua777/tinyKanren
A minimalist revision of the miniKanren language with no additional features
guagua777/two-weeks-script