zhengyunqq Goto Github PK

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#

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

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

learnhaskell

logical-foundations-2018

My solutions to exercises in "Logical Foundations" (2018-2019)

olmo

Modeling, training, eval, and inference code for OLMo

p523

P523 Code

p523-rust

P523 Course in Rust

pdk-rtos

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

software-foundations-solutions

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