hath995

ScreenMeetSan Francisco

Pinned Repositories

fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Language:TypeScript4.4k 19 550182
advent-of-code-2022
Language:TypeScript1 1 00
CheckersServer
Language:TypeScript1 2 00
dafny
Learning Dafny
Language:Dafny1 1 00
Dafny-AoC-template
Language:Dafny1 1 02
full-set
A batteries included Set class for ES6
Language:JavaScript1 2 01
fuzzyEqual
Language:JavaScript4 2 02
LTLTS
Linear Temporal Logic in TypeScript
Language:TypeScript1 1 00
MagicalMock
Quick and powerful object for mocking and test assertions; port of the python mock library
Language:TypeScript4 2 01
vimfiles
Language:Vim Script1 2 01

hath995's Repositories

hath995/ProtoNight-TuringGame
Language:JavaScript0 3 01
hath995/gamecontest1
For the windows 7 contest
Language:JavaScript
hath995/hathscis415project1
Language:C
hath995/Hipo
Older PHP based content entry system
Language:PHP
hath995/narcissus
The Narcissus meta-circular JavaScript interpreter
Language:JavaScript
hath995/ranviermud
A node.js based MUD engine
Language:JavaScript
hath995/sql.js
Language:JavaScript