Beast code in Giters

Chung-chieh Shan's repositories

prob-school

Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)

Language:HaskellMIT1000

contract

Automate using English contractions in Vim

Language:VimLUnlicense3 2 1

pykaru

Python Hakaru

Language:Python3 20

useless

Useless programs

Language:Racket2 10

dress

Which items of clothing to put on before which

Language:Haskell1 10

ray

A simple ray tracer

Language:Makefile1 10

acmart

ACM consolidated LaTeX styles

Language:TeX000

Beginning-Student-Tables

Language:TypeScript000

bpmn-js

A BPMN 2.0 rendering toolkit and web modeler.

Language:JavaScriptNOASSERTION000

drracket

DrRacket, IDE for Racket

Language:Racket010

dynamics

Replicator Dynamics

Language:JavaScript010

flolac

Monad and side effects

Language:Haskell020

gui

Language:RacketNOASSERTION000

hakaru-benchmarks

for benchmarking different hakaru code

Language:HaskellBSD-3-Clause010

handin

Handin server and client

Language:RacketNOASSERTION000

htdp

Language:Racket010

log-measure

Designing a log-scale measuring cup/spoon

020

picamera

A pure Python interface to the Raspberry Pi camera module

Language:PythonBSD-3-Clause000

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:C++NOASSERTION000

quickxor

Compute quickxor checksum

Language:CMIT010

racket

The Racket repository

Language:SchemeNOASSERTION000

response-ext

Extended HTTP response functions for Racket Web Serve

Language:Racket000

samth.github.io

Web page

Language:Isabelle000

scribble

Language:RacketNOASSERTION000