Pinned Repositories
abbot
Generation of abstract binding trees
acronomy-visualizer
CompileBPV
A compiler for a fragment of SML using CBPV-based IRs
EcoLink
@Axolotl163 @naivros @VariableV 7 and Anastasiia Gorobets' submission to EarthXHack2020
Hearthstone-Clicker
You know those websites where you click the screen and a hearthstone card comes up? Let's make those obsolete, shall we?
LeanAlg
A WIP linear algebra library for Lean
ocaml-sat
An in-progress SAT library for Ocaml
splits
Satisfiability Parallelism Leveraging Ideal Tree Splits
stlc-lean
xj9
A Minimalist PDF Viewer in Rust
aricursion's Repositories
aricursion/PythonCFD
Sophomore year science research project, heavily based on work done by Professor Lorena A. Barba
aricursion/SweeperBot
A Minesweeper Discord bot based off of the new spoiler feature
aricursion/Hearthstone-Clicker
You know those websites where you click the screen and a hearthstone card comes up? Let's make those obsolete, shall we?