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/xj9
A Minimalist PDF Viewer in Rust
aricursion/CompileBPV
A compiler for a fragment of SML using CBPV-based IRs
aricursion/EcoLink
@Axolotl163 @naivros @VariableV 7 and Anastasiia Gorobets' submission to EarthXHack2020
aricursion/LeanAlg
A WIP linear algebra library for Lean
aricursion/ocaml-sat
An in-progress SAT library for Ocaml
aricursion/stlc-lean
aricursion/abbot
Generation of abstract binding trees
aricursion/acronomy-visualizer
aricursion/aricursion.github.io
My personal website
aricursion/cnnBallDetector
a repo for training and validation of ball detection model with tensorflow
aricursion/Dijkstra
aricursion/splits
Satisfiability Parallelism Leveraging Ideal Tree Splits
aricursion/cadical-lits
CaDiCaL SAT Solver
aricursion/dotfiles
aricursion/Forces-Between-Molecules
aricursion/LaTeX-setup
aricursion/lean4-bench
aricursion/mathlib4
Work in progress mathlib port for lean 4
aricursion/MaxCDCL-lits
aricursion/midi2desmos
aricursion/miratope-rs
A tool for building and visualizing polytopes.
aricursion/nerfies
This is the code for Deformable Neural Radiance Fields, a.k.a. Nerfies.
aricursion/PythonCFD
Sophomore year science research project, heavily based on work done by Professor Lorena A. Barba
aricursion/quickscripts
small tools for making my life easier
aricursion/rust-playground
I wanted to do a project in go, but then was like, nah Rust would be better, but I don't know rust so here we are now <3
aricursion/smlhelp-book
deployment for smlhelp page
aricursion/splitting_research
aricursion/SweeperBot
A Minesweeper Discord bot based off of the new spoiler feature
aricursion/tuilight
aricursion/unit_siphon