audreyseo
Jack of all trades (& cat person) in a love-hate relationship with Javascript who always has too many hobbies, projects, & academic interests at any given time.
Pinned Repositories
ao3_scraper
Unofficial scraper for ao3
appinventor_analysis
Analysis work on App Inventor
audreyseo-docs-test
audreyseo.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Courses
Course browser
FunGUI
The library for creating nice-looking and easy-to-use graphic user interfaces in Processing.
FunGUI_Library
The library for implementing nice-looking graphical user interfaces in Processing.
pet-rubiks
Hub for all of the files and associated things for my OLL and PLL website
pet-rubiks-ios
The iOS version of my rubik's cube timer + Fridrich method guide for OLL and PLL
WellesleyFreshApp
App for accessing Wellesley College's dining hall information, including the menu, hours of operation, etc.
audreyseo's Repositories
audreyseo/ao3_scraper
Unofficial scraper for ao3
audreyseo/appinventor_analysis
Analysis work on App Inventor
audreyseo/audreyseo-docs-test
audreyseo/audreyseo.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
audreyseo/autosubst-ocaml
audreyseo/cardweaver
Card weaving instructions synthesis
audreyseo/ckb-next
RGB Driver for Linux
audreyseo/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
audreyseo/coq-listset-utils
Utilities for working with list-based sets in Coq
audreyseo/coq-plugin-lib
Library of useful utility functions for Coq plugins
audreyseo/datalogo
Extending datalog with ordered semirings
audreyseo/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
audreyseo/div-by-zero-checker
audreyseo/docblockr
DocBlockr is a package for Atom which is designed to make writing documentation faster and easier.
audreyseo/fix-to-elim
Fixpoint to eliminator translation in Coq
audreyseo/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
audreyseo/jekyll-doc-theme-test
Jekyll theme for creating project documentation websites
audreyseo/jfreechart
A 2D chart library for Java applications (JavaFX, Swing or server-side).
audreyseo/lying-games
Framework for describing the semantics of social deduction games (e.g., mafia, blood on the clocktower, among us)
audreyseo/minesweeper
A simple implementation of the game minesweeper in Processing
audreyseo/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
audreyseo/rclcpp
rclcpp (ROS Client Library for C++)
audreyseo/robotmon-desktop
Launch robotmon service background, and debug tools for developing scripts
audreyseo/robotmon-scripts
Run Javascript on Android. Screenshot, Touch, ...
audreyseo/roshar-name-generator
A name generator for the Stormlight Archive series, using 2nd order Markov chain
audreyseo/spire
Powerful new number types and numeric abstractions for Scala.
audreyseo/system-f
audreyseo/tisane
Specification language for generating Generalized Linear Models (with or without mixed effects) from conceptual models
audreyseo/verified-datalog-opt
Class project for CSE 544
audreyseo/xstitch-abcs
Cross stitch lettering pattern parser and translator, written in Python