Pinned Repositories
fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
advent-of-code-2022
CheckersServer
dafny
Learning Dafny
Dafny-AoC-template
full-set
A batteries included Set class for ES6
fuzzyEqual
LTLTS
Linear Temporal Logic in TypeScript
MagicalMock
Quick and powerful object for mocking and test assertions; port of the python mock library
vimfiles
hath995's Repositories
hath995/fuzzyEqual
hath995/advent-of-code-2022
hath995/CheckersServer
hath995/dafny
Learning Dafny
hath995/Dafny-AoC-template
hath995/LTLTS
Linear Temporal Logic in TypeScript
hath995/tspresentation
hath995/vimfiles
hath995/advent-of-code-2021
hath995/ArtinsAlgebra
hath995/avsc
Avro for JavaScript :zap:
hath995/cgame
hath995/dafny-aoc-2019
Solving AoC 2019 problems in Dafny
hath995/dafny-aoc-2023
hath995/Dafny-Grind75
Dafny solutions for the Grind75 and Blind75 leetcode problems
hath995/Dafny4.4
Dafny specs using version 4.4.0 and later
hath995/discrimination
hath995/dom-event
Streamlined DOM Events for most.js
hath995/fast-check
Property based testing framework for JavaScript & TypeScript (like QuickCheck)
hath995/grapher
hath995/hath995.github.io
Blog
hath995/ImHex-Patterns
Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor
hath995/LeetCode
hath995/mediasoup-client
mediasoup client side JavaScript library
hath995/PBT-examples
hath995/PropertyBasedTesting
hath995/pureact
Super lightweight react+redux lib with only one dependency
hath995/selenium
A browser automation framework and ecosystem.
hath995/snabbdom
A virtual DOM library with focus on simplicity, modularity, powerful features and performance.
hath995/wasmmts-A_wasm_interpreter
Super funny awesome project seriously the funniest thing to do studying and debugging .wasm binary format