Solutions to math olympiad problems in Isabelle/HOL
☆11May 29, 2021Updated 4 years ago
Alternatives and similar repositories for isabelle-math-contests
Users that are interested in isabelle-math-contests are comparing it to the libraries listed below
Sorting:
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 6 months ago
- Simple ECIES, ECDSA and AES library for Python, supporting OpenSSL and pure-Python environments☆26Nov 21, 2020Updated 5 years ago
- Home-Assistant Custom Component to read data from ryd (formaly Tanktaler)☆10Feb 3, 2024Updated 2 years ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- SQL Server Always Encrypted Key Store Generic Provider for Key Store Interopearibility between Windows and Linux☆11Oct 24, 2018Updated 7 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Generate a 3D picture (Multi Picture Object) from two jpeg☆10Mar 16, 2024Updated last year
- ☆14Jan 23, 2025Updated last year
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- ☆13Apr 22, 2024Updated last year
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Because the Access Virus line of synthesizer has now been discontinued, I have uploaded the Access Virus TI2 firmware so everyone can use…☆18May 15, 2024Updated last year
- NiMUD: Shared Adventure Game brought to you by Locke; NiM5 is an advanced multi-user gaming server.☆11Sep 4, 2024Updated last year
- copy one disk or image file to an other☆11Dec 23, 2020Updated 5 years ago
- A high-performance, thread-safe channel implementation in C++17, inspired by Go's channels☆16Jul 28, 2024Updated last year
- A snake game for MS-DOS. 🐍☆19Sep 3, 2024Updated last year
- Allow editting of text documents☆14Jul 25, 2021Updated 4 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Flight simulator demo for Arduboy☆11Aug 16, 2019Updated 6 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Set of tools and data to compute all known invariants for simple connected graphs☆14Mar 6, 2018Updated 7 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Filesystem utilities☆13Nov 2, 2025Updated 3 months ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- CloudedBats.org - main repository☆10Mar 19, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- ☆21Nov 14, 2025Updated 3 months ago
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- XCB-based terminal emulator☆10Aug 12, 2021Updated 4 years ago
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- Source Code form some "accient" Modula-2 Compilers from the ETHZ. Forked from http://www.cfbsoftware.com/modula2/.☆10Nov 18, 2021Updated 4 years ago
- G'n'T Eval is an evaluation suite that allows to carry out pen and paper evaluations. It ships with all necessary tools, i.e. management …☆14Nov 2, 2013Updated 12 years ago
- Demo of an In-database processing tool for scikit-learn☆13Oct 18, 2022Updated 3 years ago
- Small Incompatible Timesharing System☆12Nov 23, 2022Updated 3 years ago