Aaron Elligsen (hath995)

hath995

Geek Repo

Company:ScreenMeet

Location:San Francisco

Github PK Tool:Github PK Tool

Aaron Elligsen's repositories

Language:JavaScriptStargazers:4Issues:2Issues:0
Language:TypeScriptStargazers:1Issues:1Issues:0
Language:TypeScriptStargazers:1Issues:2Issues:0

dafny

Learning Dafny

Language:DafnyStargazers:1Issues:1Issues:0
Language:JavaScriptLicense:MITStargazers:1Issues:2Issues:0
Language:Vim ScriptStargazers:1Issues:2Issues:0

LTLTS

Linear Temporal Logic in TypeScript

Language:TypeScriptStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

avsc

Avro for JavaScript :zap:

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0

dafny-aoc-2019

Solving AoC 2019 problems in Dafny

Language:DafnyStargazers:0Issues:0Issues:0
Language:DafnyStargazers:0Issues:0Issues:0

Dafny-Grind75

Dafny solutions for the Grind75 and Blind75 leetcode problems

Language:DafnyStargazers:0Issues:1Issues:75

Dafny4.4

Dafny specs using version 4.4.0 and later

Language:DafnyStargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

dom-event

Streamlined DOM Events for most.js

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

fast-check

Property based testing framework for JavaScript & TypeScript (like QuickCheck)

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0
Language:TypeScriptStargazers:0Issues:3Issues:4
Stargazers:0Issues:2Issues:0

ImHex-Patterns

Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor

Language:RustLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

mediasoup-client

mediasoup client side JavaScript library

Language:JavaScriptLicense:ISCStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

pureact

Super lightweight react+redux lib with only one dependency

Language:JavaScriptStargazers:0Issues:1Issues:0

selenium

A browser automation framework and ecosystem.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

snabbdom

A virtual DOM library with focus on simplicity, modularity, powerful features and performance.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

wasmmts-A_wasm_interpreter

Super funny awesome project seriously the funniest thing to do studying and debugging .wasm binary format

Stargazers:0Issues:0Issues:0