Beast code in Giters

Anton Xue's repositories

Language:Python300

Language:Haskell200

Language:Julia100

Language:Jupyter Notebook100

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:HTMLMIT010

Mining with https://github.com/petablox/arbitrar

Language:Python040

Compiler infrastructure and toolchain library for WebAssembly, in C++

Language:WebAssemblyApache-2.0000

Language:HaskellNOASSERTION030

Optimized firmware for RepRap 3D printers based on the Arduino platform.

Language:CGPL-3.0000

The Penn Locally Nameless Metatheory Library

Language:CoqNOASSERTION000

Language:HTML000

WebAssembly specification, reference interpreter, and test suite.

Language:WebAssemblyNOASSERTION020

VNN Neural Network Verification Competition 2021

000