lkuper/lvar-race-detector lkuper/lvar-race-detector

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lkuper/lvar-race-detector
github

lkuper

Reviews

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

Repository Details

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

lambdaLVar-redex

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

weekly-reports

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

CSE232-2023-09

A graduate course on distributed systems
HTML
2
star
15

aw

The littlest interpreter for the littlest language
Bison
1
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