shumbo Goto Github PK

00-lambda

angular-modal-example

Modal and notification implementation sample for Angular2

app-clip-websocket-test

autograder-docker

Docker images for the autograder.

autograder-py

The Python interface to the autograder.

autograder-server

A server to automatically grading coding assignments.

c3py

cachios

Simple axios cache wrapper using node-cache

canvas-lms

The open LMS by Instructure, Inc.

choreography-ts

Choreographic Programming in TypeScript

cse211-fa2021

Website for UCSC class CSE211 for Fall 2021

dfav

Data-flow Analysis Visualizer

diyc

A simple educational linux container runtime.

docker-chii

docker-chii

docker-choral

docker-choral

docker-ucsc-cse110a

A docker image for UCSC CSE 110A: Fundamentals of Compiler Design I

dokku-webdav

A minimal ready to use docker image for Dokku Mini-PaaS

dotfiles

Dotfiles

echo-url-query

A dead simple website that displays the URL Query Parameters passed via URL

eternal-yabumi

Set Yabumi's expiration to forever automatically

fp-in-lean

gaussiansplats3d

Three.js-based implementation of the 3D Gaussian splat viewer

genmail

github-dark-theme

GitHub Dark Theme - Extension for Chrome, Edge and Firefox

glimpseoflean

An introduction to theorem proving in Lean for the impatient.

greennote

An unofficial Grammarly Client for iPad

gripmock

gRPC Mock Server

grpc-web-error-details

Utility function for deserializing `grpc-status-details-bin` metadata on grpc-web

haschor

Choreographic programming in Haskell

i18n-generator

i18n json files generator for node, web browser and command line