LLazarek

followers

following

stars

Lukas Lazarek's repositories

mutate

Inject bugs into your programs!

Language:RacketNOASSERTION700

utill

Language:Racket000

blame-evaluation-gt

Language:Racket200

dssl2

A data structures student language, version 2

Language:Racket000

kb-layouts

Language:C000

llazarek.github.io

Language:HTML100

gtp-benchmarks

Gradual Typing Performance benchmarks

Language:RacketNOASSERTION100

play-impossible

Language:JavaScript000

modalc

Language:Racket000

rscript

Language:Racket000

webgrep

Webgrep: Recursively grep the web

Language:Racket100

condor-tools

Tools for using condor.

Language:Shell000

pash-ddl-model

Language:Racket000

local-racket

Language:Racket000

tmp-json

Language:Forth000

configurable

Language:RacketNOASSERTION000

process-queue

Language:RacketNOASSERTION000

typed-racket

Typed Racket

NOASSERTION000

complot

Language:Racket000

big-diff-monitor

Language:Racket000

functional-struct

Language:Racket000

ruinit

A simple testing framework for Racket

Language:RacketNOASSERTION200

sgrep

grep for s-expression patterns

Language:Racket600

pict-util

Language:Racket000

require-typed-check

Racket's require/typed, but avoids generating contracts for typed-to-typed interaction

Language:RacketNOASSERTION000

simple-option

Language:Racket000

github-actions

Language:Racket000

auto_usb

Language:Python000

plot-util

Language:Racket000

simple-graph

Language:Racket000