Discover @lkuper Open Source projects

Lindsey Kuper (@lkuper)

lkuper

Stars
201
Global Rank 120,194 (Top 5 %)
Followers 411
Registered over 13 years ago
Most used languages

HTML
23.5 %

Racket
17.6 %

Haskell
11.8 %

Python
11.8 %

Bison 5.9 %

Emacs Lisp
5.9 %

Jupyter Notebook
5.9 %

Scheme
5.9 %

JavaScript
5.9 %

TeX
5.9 %

lvar-examples

Programming with LVars, by example

rust-redex

A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust

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

lvar-semantics

PLT Redex models of LVar calculi

fandomized-algorithms

A paper for SIGBOVIK 2013

icfp2020-captions

lvar-race-detector

lambdaLVar-redex

A PLT Redex model of the lambdaLVar language

weekly-reports

What I did every week for the last year of my Ph.D.

CSE232-2023-09

A graduate course on distributed systems

aw

The littlest interpreter for the littlest language

addon-playground

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

icfp2016

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

composition.al-notebooks

Jupyter notebooks to accompany composition.al posts

Jupyter Notebook

relational-research

IUCS Relational Research