profile
viewpoint

lkuper/dissertation 21

Exactly what it says on the tin.

lkuper/CMPS290S-2018-09 18

A graduate seminar on languages and abstractions for distributed programming

avsm/shonan-143 14

Shonan #143: Programming Language Support for Data-intensive Applications

lkuper/CSE290Q-2019-09 5

A graduate seminar on SMT solving and solver-aided systems

lkuper/fandomized-algorithms 5

A paper for SIGBOVIK 2013

lkuper/aw 2

The littlest interpreter for the littlest language

lkuper/addon-playground 1

A collection of toy and proof-of-concept Firefox add-ons.

lkuper/icfp2016 1

Team K&R's entry for the 2016 ICFP Programming Contest.

lkuper/interactive 1

An interactive shell in your browser for writing and running River Trail programs

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha e6690966d5d9742461d639f70b567db8fe49dd3b

I thought a README might be nice.

view details

push time in 16 minutes

startedplredmond/tinybcast

started time in 2 hours

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha 92283c447e1af5c725decbd161f01c06b3326ae0

Update reading-group-schedule.md

view details

push time in 5 days

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha f9ad7b750ca68470cfccbfa0a3c43a7262926020

CASL resources page (formerly of the haskell-dkvs wiki, now lives here).

view details

push time in 8 days

delete branch lkuper/mypyvy

delete branch : patch-1

delete time in 11 days

push eventlkuper/mypyvy

James R. Wilcox

commit sha 5e4f565db1806f1217fc1c879b1b8b3a981ee9ff

shot in the dark at mysterious travis error

view details

Lindsey Kuper

commit sha e6bbda48fe582b70fc5eb17b16de9ebf6f000e8f

Typo fix :)

view details

push time in 11 days

PR opened wilcoxjay/mypyvy

Update logic.py

Typo fix :)

+1 -1

0 comment

1 changed file

pr created time in 11 days

push eventlkuper/mypyvy

Lindsey Kuper

commit sha d664b35d46de483d0eed218420199a3f3af1a502

Update logic.py Typo fix :)

view details

push time in 11 days

fork lkuper/mypyvy

A language for symbolic transitions system, inspired by Ivy.

fork in 11 days

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha 2c44be7cc245fb2c2294dfd9d85e9ed470556e50

Update reading-group-schedule.md

view details

push time in 18 days

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha 0372b9ac7beaa48ca2f53fe433fb3bf239be3897

Update reading-group-schedule.md

view details

push time in a month

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha de4a388f6d2ee63bdc37e9d050878b30aba87fcf

Update reading-group-schedule.md

view details

push time in a month

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha b3ac394db91c3671499b5bd9593fa732ac60f8f8

Update reading-group-schedule.md Suggestions for the first 5 weeks

view details

push time in a month

fork lkuper/Awesome-CS-Books-and-Digests

:books: Awesome CS Books(with Digests)/Series(.pdf by git lfs) Warehouse for Geeks, ProgrammingLanguage, SoftwareEngineering, Web, AI, ServerSideApplication, Infrastructure, FE etc. :dizzy: 优秀计算机科学与技术领域相关的书籍归档,以及我的读书笔记。

https://ng-tech.icu/books

fork in 2 months

more