Lindsey Kuper's repositories
CSE290Q-2019-09
A graduate seminar on SMT solving and solver-aided systems
dissertation
Exactly what it says on the tin.
CMPS290S-2018-09
A graduate seminar on languages and abstractions for distributed programming
CSE232-2021-09
A graduate course on distributed systems
CSE232-2020-10
A graduate course on distributed systems
CSE232-2023-09
A graduate course on distributed systems
composition.al-notebooks
Jupyter notebooks to accompany composition.al posts
autograder-py
The Python interface to the autograder.
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: 优秀计算机科学与技术领域相关的书籍归档,以及我的读书笔记。
CompilerTools.jl
The CompilerTools package, part of the High Performance Scripting project at Intel Labs
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
docopt.cpp
C++11 port of docopt
elsa
Elsa is a lambda calculus evaluator
julialang.github.com
Julia Project web site.
mttex
A LaTeX package for formatting meta-theory.
ParallelAccelerator.jl-1
The ParallelAccelerator package, part of the High Performance Scripting project at Intel Labs
plfa.github.io-1
An introduction to programming language theory in Agda
starconuw.github.io
starcon website
verified-instances
Verified instances for parallel programming.
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research