Beast code in Giters

Aaron Elligsen's repositories

fuzzyEqual

Language:JavaScript4 20

advent-of-code-2022

Language:TypeScript1 10

CheckersServer

Language:TypeScript1 20

dafny

Learning Dafny

Language:Dafny1 10

Dafny-AoC-template

Language:Dafny1 10

LTLTS

Linear Temporal Logic in TypeScript

Language:TypeScript100

tspresentation

Language:JavaScriptMIT1 20

vimfiles

Language:Vim script1 20

advent-of-code-2021

Language:TypeScript000

ArtinsAlgebra

000

avsc

Avro for JavaScript :zap:

Language:JavaScriptMIT020

cgame

Language:TypeScript020

dafny-aoc-2019

Solving AoC 2019 problems in Dafny

Language:Dafny000

dafny-aoc-2023

Language:Dafny000

Dafny-Grind75

Dafny solutions for the Grind75 and Blind75 leetcode problems

Language:Dafny01 75

Dafny4.4

Dafny specs using version 4.4.0 and later

Language:Dafny010

discrimination

Language:TypeScript000

dom-event

Streamlined DOM Events for most.js

Language:JavaScriptMIT020

fast-check

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

Language:TypeScriptMIT020

grapher

Language:TypeScript03 4

hath995.github.io

Blog

020

ImHex-Patterns

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

Language:RustGPL-2.0000

jspandas

Language:TypeScript020

LeetCode

Language:TypeScript000

mediasoup-client

mediasoup client side JavaScript library

Language:JavaScriptISC010

PropertyBasedTesting

Language:JavaScript020

pureact

Super lightweight react+redux lib with only one dependency

Language:JavaScript010

selenium

A browser automation framework and ecosystem.

Language:JavaApache-2.0010

snabbdom

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

Language:JavaScriptMIT000

wasmmts-A_wasm_interpreter

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

000