Automated generation of planar geometry olympiad problems
☆102Feb 19, 2026Updated 2 weeks ago
Alternatives and similar repositories for GeoGen
Users that are interested in GeoGen are comparing it to the libraries listed below
Sorting:
- An online math contest platform☆22Jan 18, 2026Updated last month
- Asymptote preprocessor☆17Feb 10, 2026Updated 3 weeks ago
- Get prettier, more readable USACO Solutions!☆13Feb 15, 2022Updated 4 years ago
- competitive programming folder☆31Feb 23, 2026Updated last week
- orz☆15Dec 8, 2022Updated 3 years ago
- A collection of online resources that I found useful for Ph.D. students☆17Apr 14, 2022Updated 3 years ago
- Code for Quantifying Ignorance in Individual-Level Causal-Effect Estimates under Hidden Confounding☆24Dec 6, 2022Updated 3 years ago
- 🎉 Celebrate after submittint your college applications☆23Oct 19, 2021Updated 4 years ago
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆48Feb 4, 2023Updated 3 years ago
- My CP stuff☆22Dec 9, 2025Updated 2 months ago
- Solutions to USACO Training and USACO Contest Problems☆21Nov 29, 2018Updated 7 years ago
- Getting Started Material☆30Feb 20, 2024Updated 2 years ago
- Real News Headlines + Fake Financial Predictions = St0nks☆24May 22, 2023Updated 2 years ago
- obfuscated C uwu☆22Jun 23, 2025Updated 8 months ago
- MIT semester course planning app☆32Updated this week
- A PyPI to PKGBUILD converter.☆74Jan 6, 2025Updated last year
- [OpenEDM] Arc Generator Project☆18Feb 13, 2026Updated 2 weeks ago
- ☆10Oct 1, 2025Updated 5 months ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- Virtual rating system for codeforces using codeforces API.☆29Apr 21, 2023Updated 2 years ago
- A curated list of awesome online development environments☆12May 13, 2021Updated 4 years ago
- Example of using JupyterHub with JupyterLab RTC☆11Dec 17, 2021Updated 4 years ago
- AGS Fast Wave Function Collapse Plugin☆15Jun 23, 2020Updated 5 years ago
- code examples of a the SDKv6.0 DFU bootloader modified to be built by gcc.☆10Jan 8, 2025Updated last year
- [AAAI 2021 Workshop] The official repository for the LST-MAP model for few-shot image classification.☆13Feb 12, 2021Updated 5 years ago
- A PBKDF2 key function implementation for MySQL☆11Nov 1, 2021Updated 4 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- A Discord bot that prints out the lines referenced in a GitHub, GitLab, or BitBucket snippet link☆36Apr 20, 2021Updated 4 years ago
- Sequential Monte Carlo sampler for PyMC2 models.☆13Apr 4, 2018Updated 7 years ago
- ☆11Jul 25, 2016Updated 9 years ago
- An all purpose library to create and design Genetic Algorithms (GAs)☆12May 27, 2025Updated 9 months ago
- Python Library for Function Approximation in Machine Learning☆12Nov 5, 2019Updated 6 years ago
- Draft of NumPy paper☆10Aug 12, 2020Updated 5 years ago
- Basic A-Frame support for the new three.ar.js library and WebARonARKit / WebARonARCore browsers.☆11Aug 30, 2017Updated 8 years ago
- A tool to understand how buildings perform in terms of occupant comfort. https://lmnarchitects.com/tech-studio/☆10Oct 7, 2019Updated 6 years ago
- This project was created for Unity ML-Agents Challenge - https://connect.unity.com/challenges/ml-agents-1☆12Aug 15, 2020Updated 5 years ago
- Problems from IOITC'16 (India)☆10Jan 12, 2022Updated 4 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago