lkuper/dissertation lkuper/dissertation

  • Stars
    star
    20
  • Rank 1,100,418 (Top 23 %)
  • Language
    TeX
  • Created almost 10 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lkuper/dissertation
github

lkuper

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Exactly what it says on the tin.

More Repositories

1

lvar-examples

Programming with LVars, by example
Haskell
35
star
2

rust-redex

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

CSE290Q-2019-09

A graduate seminar on SMT solving and solver-aided systems
HTML
26
star
4

CMPS290S-2018-09

A graduate seminar on languages and abstractions for distributed programming
Emacs Lisp
19
star
5

CSE232-2021-09

A graduate course on distributed systems
HTML
18
star
6

CSE232-2020-10

A graduate course on distributed systems
HTML
11
star
7

lvar-semantics

PLT Redex models of LVar calculi
Racket
10
star
8

fandomized-algorithms

A paper for SIGBOVIK 2013
Python
5
star
9

icfp2020-captions

4
star
10

lvar-race-detector

Haskell
4
star
11

lambdaLVar-redex

A PLT Redex model of the lambdaLVar language
Racket
3
star
12

weekly-reports

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

CSE232-2023-09

A graduate course on distributed systems
HTML
2
star
14

aw

The littlest interpreter for the littlest language
Bison
1
star
15

addon-playground

A collection of toy and proof-of-concept Firefox add-ons.
JavaScript
1
star
16

icfp2016

Team K&R's entry for the 2016 ICFP Programming Contest.
Python
1
star
17

composition.al-notebooks

Jupyter notebooks to accompany composition.al posts
Jupyter Notebook
1
star
18

relational-research

IUCS Relational Research
Scheme
1
star