lkuper/aw lkuper/aw

  • Stars
    star
    1
  • Language Bison
  • Created over 11 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lkuper/aw
github

lkuper

Reviews

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

Repository Details

The littlest interpreter for the littlest language

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

dissertation

Exactly what it says on the tin.
TeX
20
star
5

CMPS290S-2018-09

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

CSE232-2021-09

A graduate course on distributed systems
HTML
18
star
7

CSE232-2020-10

A graduate course on distributed systems
HTML
11
star
8

lvar-semantics

PLT Redex models of LVar calculi
Racket
10
star
9

CSE232-2024-09

A graduate course on distributed systems
HTML
7
star
10

fandomized-algorithms

A paper for SIGBOVIK 2013
Python
5
star
11

icfp2020-captions

4
star
12

lvar-race-detector

Haskell
4
star
13

lambdaLVar-redex

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

weekly-reports

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

CSE232-2023-09

A graduate course on distributed systems
HTML
2
star
16

addon-playground

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

icfp2016

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

composition.al-notebooks

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

relational-research

IUCS Relational Research
Scheme
1
star