Lindsey Kuper

Results 5 repositories owned by


                                            Lindsey Kuper

Stars

Forks

Watchers

A graduate seminar on SMT solving and solver-aided systems

Stars

Forks

Watchers

Exactly what it says on the tin.

Stars

Forks

Watchers

A graduate seminar on languages and abstractions for distributed programming

Stars

Forks

Watchers

Programming with LVars, by example

Stars

Forks

Watchers

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