sstrickl

Recovering academic. Current Googler.

@googleAarhus, Denmark

Pinned Repositories

co19
Language:Dart0 1 00
code.pyret.org
Website for serving Pyret to folks.
Language:JavaScript0 1 00
ctrl-w
Userscript pour le jeu web Mush (mush.vg)
Language:JavaScript0 1 00
flutter
Flutter makes it easy and fast to build beautiful mobile apps.
Language:Dart0 1 00
flutter-engine
The Flutter engine
Language:C++0 1 00
lc-tc-interp
Example typechecker and interpreter for the lambda calculus extended with numeric operations.
Language:OCaml0 1 00
matcher
A declarative API for specifying expectations.
Language:Dart1 0 00
racket
The Racket repository
Language:Racket1 1 01
rolldice
Repository for the old rolldice program I wrote back in 1999.
Language:C43 4 710

sstrickl's Repositories

sstrickl/rolldice
Repository for the old rolldice program I wrote back in 1999.
Language:C43 4 710
sstrickl/matcher
A declarative API for specifying expectations.
Language:Dart1 0 00
sstrickl/racket
The Racket repository
Language:Racket1 1 01
sstrickl/co19
Language:Dart0 1 00
sstrickl/code.pyret.org
Website for serving Pyret to folks.
Language:JavaScript0 1 00
sstrickl/ctrl-w
Userscript pour le jeu web Mush (mush.vg)
Language:JavaScript0 1 00
sstrickl/flutter
Flutter makes it easy and fast to build beautiful mobile apps.
Language:Dart0 1 00
sstrickl/flutter-engine
The Flutter engine
Language:C++0 1 00
sstrickl/lc-tc-interp
Example typechecker and interpreter for the lambda calculus extended with numeric operations.
Language:OCaml0 1 00
sstrickl/metalib
The Penn Locally Nameless Metatheory Library
Language:Coq1 0
sstrickl/pentago
http://en.wikipedia.org/wiki/Pentago
Language:Ruby1 0
sstrickl/pyret-lang
The Pyret language.
Language:JavaScript1 0
sstrickl/tome-skirmisher
Repo for fleshing out Fortescue's Skirmisher class for ToME4
Language:Lua3 0