noelle-crawfish / Enumerating-Polycubes
My project for the Wolfram Summer Camp 2019
☆14Updated 5 years ago
Related projects: ⓘ
- A number guessing game with a p-adic twist.☆9Updated 11 months ago
- Busy Beaver deciders backed by Coq proof☆35Updated last month
- ☆151Updated 2 weeks ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆78Updated 2 years ago
- stemformulas.com, the eventual home of every STEM formula☆18Updated 5 months ago
- An online math contest platform☆17Updated this week
- Convergence verification of the Collatz problem☆60Updated 6 months ago
- Advanced Reverse Polish Notation entry program for the Ti-84+CE calculators☆27Updated last year
- A UCI-compatible chess engine, written in Rust. Currently in developlent.☆26Updated 4 months ago
- OTIS course management system☆39Updated this week
- algorithm for word square construction and the first proper English 10-square☆14Updated last year
- A library of custom formulas for y-cruncher.☆16Updated 6 months ago
- A possible method for faster-than-light communication☆43Updated 7 months ago
- OpenCL version of Kaktwoos; Mine cacti with 0xA presses☆10Updated 2 years ago
- Something like Sage, but for the WebAssembly and JavaScript world.☆34Updated last year
- Wordle clone for TI graphing calculators☆34Updated last year
- Olympiad problem database☆43Updated 2 months ago
- A Twitch chatbot for GeoGuessr.☆40Updated 3 weeks ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Updated 8 months ago
- Solutions to Stand Up Maths 5x5 Unique 25 letter problem☆116Updated last year
- Course selection made easy☆19Updated 10 months ago
- Docker container that creates an easy authentication system with UIUC's Shibboleth Identity Provider☆7Updated last week
- Multiplayer game that plays a version of Wordle where players can edit their own words as they go. Runs as a Discord bot!☆37Updated last year
- A Powerpoint CPU☆92Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆26Updated last week
- CUDA program to find the tallest possible cacti in Minecraft.☆24Updated 4 years ago
- Crypto library☆50Updated last month
- Advent of Code 2021 in 25 different languages, alphabet soup edition☆13Updated 2 years ago
- champagne☆32Updated 8 months ago
- A computer algebra system for research in combinatorial game theory☆31Updated 8 months ago