aricursion

xj9

A Minimalist PDF Viewer in Rust

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

stlc-lean

acronomy-visualizer

aricursion.github.io

My personal website

cnnBallDetector

a repo for training and validation of ball detection model with tensorflow

Dijkstra

splits

Satisfiability Parallelism Leveraging Ideal Tree Splits

dotfiles

Forces-Between-Molecules

LaTeX-setup

lean4-bench

mathlib4

Work in progress mathlib port for lean 4

midi2desmos

miratope-rs

A tool for building and visualizing polytopes.

nerfies

This is the code for Deformable Neural Radiance Fields, a.k.a. Nerfies.

PythonCFD

Sophomore year science research project, heavily based on work done by Professor Lorena A. Barba

quickscripts

small tools for making my life easier

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

smlhelp-book

deployment for smlhelp page

SweeperBot

A Minesweeper Discord bot based off of the new spoiler feature

tuilight

unit_siphon