Collection of math fool proofs or weird properties
☆27Feb 23, 2026Updated 3 months ago
Alternatives and similar repositories for foolmath
Users that are interested in foolmath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modern zip & unzip replacements☆15Aug 23, 2025Updated 9 months ago
- Simple, opinionated image viewer for Wayland built for speed and memory efficiency☆10Apr 19, 2026Updated last month
- Write static sites with pure Nix, and nothing but pure Nix.☆28Apr 28, 2025Updated last year
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Yummy is yet another Winamp clone. It supports Winamp plugins, services, classic skins and modern skins. It does NOT depend on GTK+, Qt o…☆10Jul 20, 2023Updated 2 years ago
- A faster lolcat.☆28Nov 6, 2019Updated 6 years ago
- Experimental Quantum Computer Simulator + Quantum Chess Implementation☆19Jan 4, 2021Updated 5 years ago
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆18Oct 17, 2016Updated 9 years ago
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- A parser for files in the Unicode database☆16Nov 17, 2019Updated 6 years ago
- Linux Kernel source code for the device bq Aquaris M10☆10Apr 2, 2019Updated 7 years ago
- A WebExtension for users of synchronized reading lists to add a Wikimedia wiki page from the browser.☆16Apr 23, 2020Updated 6 years ago
- Disassmebler in JavaScript because C is old and obsolete☆13Apr 10, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 100% Broadway compliant PowerPC Assembler completely handwritten in PowerPC☆16Mar 25, 2024Updated 2 years ago
- Unicode-only CJKV IDS data☆13Aug 9, 2024Updated last year
- Dungeons and Dragons engine in Rust☆71Updated this week
- spinning 3d donut-ish in Fortran☆12Feb 2, 2024Updated 2 years ago
- A voxel game, written in Fortran, LuaJIT, and C.☆12Dec 12, 2024Updated last year
- The Bible has some issues. Let's make it better.☆72Oct 2, 2015Updated 10 years ago
- Makes Jschlatt React to your cursed videos☆19Aug 2, 2024Updated last year
- Mirror of the Moby Project containing public-domain lexical resources; word lists, thesaurus, hyphenation, pronunciation.☆16Jul 27, 2014Updated 11 years ago
- A bash script to show the periodic table of elements in a terminal window☆12Apr 12, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This project aims to code a custom implementation of the C printf function.☆14Apr 3, 2024Updated 2 years ago
- Estimate the number of legal chess positions☆14Jan 14, 2021Updated 5 years ago
- An advanced orbital dynamics and n-body simulation program.☆14Sep 5, 2023Updated 2 years ago
- Dashchan video player libraries☆11Nov 23, 2020Updated 5 years ago
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 2 months ago
- Pi Guide from installation to usage and updates☆10Feb 11, 2025Updated last year
- The nosh toolset☆18Jul 31, 2025Updated 10 months ago
- This project aims at developing working kernels for Amazfit watches☆10Nov 20, 2019Updated 6 years ago
- My Untitled OS and Kernel☆11Mar 7, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Jul 14, 2022Updated 3 years ago
- Custom kernel for a set of mt6589 Lenovo devices: P780, S820, S920. Mediatek files.☆12Sep 29, 2016Updated 9 years ago
- ☆10Jun 21, 2022Updated 3 years ago
- Send the UMTX exploit and the elf_loader automatically, when the savegame exploit has finished.☆13Jun 13, 2025Updated 11 months ago
- ~/.dotfiles☆13Apr 22, 2023Updated 3 years ago
- Rust library for creating and parsing network packets.☆18Mar 24, 2024Updated 2 years ago
- 🐼 Easy to use and portable pronunciation data for Hanzi characters.☆15Feb 27, 2017Updated 9 years ago