zhengyun's repositories
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
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
down-to-the-bone
BeagleBone Black examples
eopl
my solutions to EOPL3
FunctionalProgramming
Support repository for the functional programming lecture (Haskell)
GoExpertProgramming
《Go专家编程》Go语言快速入门,轻松进阶!
intro_to_ros
Repository of packages and info for the SV-ROS Intro To ROS training series
IU-P423-P523-E313-E513-Fall-2020
Web page for IU Compiler Course for Fall 2020
logical-foundations-2018
My solutions to exercises in "Logical Foundations" (2018-2019)
OLMo
Modeling, training, eval, and inference code for OLMo
P523-Rust
P523 Course in Rust
programming-language-foundations-2018
My solutions to exercises in "Programming Language Foundations" (2018-2019)
public-student-support-code
Public helper code for p423/p523 students (Racket)
pyrealsense2-macosx
Prebuilt pyrealsense2 packages for macOSX.
python-student-support-code
Support for for students (Python)
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
SDE
Example codes for the book Applied Stochastic Differential Equations
sf-lf
Some exercises from software foundations: logical foundations
the-functional-approach-to-programming
Programs that are used in the Cousineau/Mauny books
the-little-schemer
All the Scheme code examples from the book "The Little Schemer"
verified-functional-algorithms-2019
My solutions to exercises in "Verified Functional Algorithms" (2019)
vision
Datasets, Transforms and Models specific to Computer Vision