autf Goto Github PK

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

fp-course-bitemyapp

Fork of the original Data61 course to be more Stack friendly

getting-started-llvm-c-api

Getting started with the LLVM C API

handsonrust

gitpod + The source code that accompanies Hands-on Rust: Effective Learning through 2D Game Development and Play by Herbert Wolverson

hw-activerecord-practice

Practice with ActiveRecord using RSpec

hw-rails-hangperson

Rails version of hw-sinatra-saas-hangperson, to show differences between Sinatra and Rails

hw-sinatra-saas-hangperson

Hangperson: a scaffolded (!) ESaaS getting-started assignment

kaleidoscope-for-replit

Haskell LLVM JIT Compiler Tutorial

lean-tutorials

Some Lean tutorials

logical_verification_2021

+gitpod

make-rustc-miniproject

A little experiment of building Rust crates using only `make` and `rustc`.

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

play-cpython-bytecode

purescript-book

Sources for the PureScript book

scheme48h

https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

sel4-tutorials-manifest

sort5-by-7cmp

Sort a sequence of 5 elements by 7 comparisons

v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io