Pinned Repositories
algorithm
bbb-asm-demo
Extremely tiny baremetal application for BeagleBone Black
cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
CS421
Fall 2017
down-to-the-bone
BeagleBone Black examples
eopl
my solutions to EOPL3
fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#
iub_2009_P523_framework
This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there was any copyright issue. compiler passes copied from https://github.com/esaliya/SchemeStack
P523
P523 Code
zhengyunqq's Repositories
zhengyunqq/CS421
Fall 2017
zhengyunqq/fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#
zhengyunqq/iub_2009_P523_framework
This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there was any copyright issue. compiler passes copied from https://github.com/esaliya/SchemeStack
zhengyunqq/P523
P523 Code
zhengyunqq/algorithm
zhengyunqq/bbb-asm-demo
Extremely tiny baremetal application for BeagleBone Black
zhengyunqq/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
zhengyunqq/down-to-the-bone
BeagleBone Black examples
zhengyunqq/eopl
my solutions to EOPL3
zhengyunqq/FunctionalProgramming
Support repository for the functional programming lecture (Haskell)
zhengyunqq/GoExpertProgramming
《Go专家编程》Go语言快速入门，轻松进阶！
zhengyunqq/intro_to_ros
Repository of packages and info for the SV-ROS Intro To ROS training series
zhengyunqq/IU-P423-P523-E313-E513-Fall-2020
Web page for IU Compiler Course for Fall 2020
zhengyunqq/learnhaskell
zhengyunqq/logical-foundations-2018
My solutions to exercises in "Logical Foundations" (2018-2019)
zhengyunqq/OLMo
Modeling, training, eval, and inference code for OLMo
zhengyunqq/P523-Rust
P523 Course in Rust
zhengyunqq/pdk-rtos
zhengyunqq/programming-language-foundations-2018
My solutions to exercises in "Programming Language Foundations" (2018-2019)
zhengyunqq/public-student-support-code
Public helper code for p423/p523 students (Racket)
zhengyunqq/pyrealsense2-macosx
Prebuilt pyrealsense2 packages for macOSX.
zhengyunqq/python-student-support-code
Support for for students (Python)
zhengyunqq/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
zhengyunqq/SDE
Example codes for the book Applied Stochastic Differential Equations
zhengyunqq/sf-lf
Some exercises from software foundations: logical foundations
zhengyunqq/Software-Foundations-Solutions
zhengyunqq/the-functional-approach-to-programming
Programs that are used in the Cousineau/Mauny books
zhengyunqq/the-little-schemer
All the Scheme code examples from the book "The Little Schemer"
zhengyunqq/verified-functional-algorithms-2019
My solutions to exercises in "Verified Functional Algorithms" (2019)
zhengyunqq/vision
Datasets, Transforms and Models specific to Computer Vision