Pinned Repositories
224n-21sp
https://web.stanford.edu/class/cs224n/index.html#schedule
Accelerator
Online Conference and Collaboration Tool
cpython
The Python programming language
cs61b-sp21
starter code for spring 21
delnox
deno-lox
do-sel4-tutorials
on gitpod.io
emol
Lightweight collaborative Whiteboard / Sketchboard
EPIJudge
EPI Judge - Preview Release
fp-course
Functional Programming Course
make-rustc-miniproject
A little experiment of building Rust crates using only `make` and `rustc`.
autf's Repositories
autf/make-rustc-miniproject
A little experiment of building Rust crates using only `make` and `rustc`.
autf/224n-21sp
https://web.stanford.edu/class/cs224n/index.html#schedule
autf/Accelerator
Online Conference and Collaboration Tool
autf/cpython
The Python programming language
autf/cs61b-sp21
starter code for spring 21
autf/delnox
deno-lox
autf/do-sel4-tutorials
on gitpod.io
autf/emol
Lightweight collaborative Whiteboard / Sketchboard
autf/EPIJudge
EPI Judge - Preview Release
autf/fp-course
Functional Programming Course
autf/fp-course-bitemyapp
Fork of the original Data61 course to be more Stack friendly
autf/getting-started-llvm-c-api
Getting started with the LLVM C API
autf/HandsOnRust
gitpod + The source code that accompanies Hands-on Rust: Effective Learning through 2D Game Development and Play by Herbert Wolverson
autf/hw-activerecord-practice
Practice with ActiveRecord using RSpec
autf/hw-rails-hangperson
Rails version of hw-sinatra-saas-hangperson, to show differences between Sinatra and Rails
autf/hw-sinatra-saas-hangperson
Hangperson: a scaffolded (!) ESaaS getting-started assignment
autf/kaleidoscope-for-replit
Haskell LLVM JIT Compiler Tutorial
autf/lean-tutorials
Some Lean tutorials
autf/logical_verification_2021
+gitpod
autf/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
autf/play-cpython-bytecode
autf/purescript-book
Sources for the PureScript book
autf/scheme48h
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
autf/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
autf/sel4-tutorials-manifest
autf/sort5-by-7cmp
Sort a sequence of 5 elements by 7 comparisons
autf/v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io