sstrickl

Tess Strickland's repositories

Repository for the old rolldice program I wrote back in 1999.

Language:CGPL-2.043 4 7

A declarative API for specifying expectations.

Language:DartBSD-3-Clause100

The Racket repository

Language:Racket1 10

Language:DartBSD-3-Clause010

Website for serving Pyret to folks.

Language:JavaScriptNOASSERTION010

Userscript pour le jeu web Mush (mush.vg)

Language:JavaScript010

Flutter makes it easy and fast to build beautiful mobile apps.

Language:DartBSD-3-Clause010

The Flutter engine

Language:C++BSD-3-Clause010

Example typechecker and interpreter for the lambda calculus extended with numeric operations.

Language:OCamlNOASSERTION010

The Penn Locally Nameless Metatheory Library

Language:Coq010

http://en.wikipedia.org/wiki/Pentago

Language:Ruby010

The Pyret language.

Language:JavaScriptNOASSERTION010

Repo for fleshing out Fortescue's Skirmisher class for ToME4

Language:Lua030