aricursion Goto Github PK
Name: zach
Type: User
Bio: CS Undergrad at CMU '25
Twitter: zaxioms
Location: Pittsburgh, PA
Blog: aricursion.github.io
Name: zach
Type: User
Bio: CS Undergrad at CMU '25
Twitter: zaxioms
Location: Pittsburgh, PA
Blog: aricursion.github.io
My personal website
CaDiCaL SAT Solver
a repo for training and validation of ball detection model with tensorflow
A compiler for a fragment of SML using CBPV-based IRs
@Axolotl163 @naivros @VariableV 7 and Anastasiia Gorobets' submission to EarthXHack2020
You know those websites where you click the screen and a hearthstone card comes up? Let's make those obsolete, shall we?
A WIP linear algebra library for Lean
Work in progress mathlib port for lean 4
A tool for building and visualizing polytopes.
This is the code for Deformable Neural Radiance Fields, a.k.a. Nerfies.
An in-progress SAT library for Ocaml
Sophomore year science research project, heavily based on work done by Professor Lorena A. Barba
small tools for making my life easier
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
deployment for smlhelp page
Satisfiability Parallelism Leveraging Ideal Tree Splits
A Minesweeper Discord bot based off of the new spoiler feature
A Minimalist PDF Viewer in Rust
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.