Collection of math fool proofs or weird properties
☆28Jun 27, 2026Updated 4 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:
- Simple, opinionated image viewer for Wayland built for speed and memory efficiency☆10Aug 2, 2026Updated 2 months ago
- Visualize the output of the unix lsof to see which files are open by which processes☆15Mar 2, 2025Updated last year
- Modern zip & unzip replacements☆15Aug 23, 2025Updated last year
- A Nixpkgs tracker with notifications! [Maintainer=@Sakooooo]☆13Mar 20, 2026Updated 7 months ago
- Explore the nixpkgs dependency graph☆21Oct 7, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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 3 years ago
- Updated bdjb elf loader.☆13Updated this week
- Experimental Quantum Computer Simulator + Quantum Chess Implementation☆19Jan 4, 2021Updated 5 years ago
- a C++ library implementing permutation group algorithms☆13Sep 8, 2021Updated 5 years ago
- Interface to the Unicode Character Database☆14Sep 28, 2026Updated last month
- geode mod that adds a bumpscosity slider into GD☆18Feb 23, 2026Updated 8 months ago
- ☆15Oct 15, 2026Updated 2 weeks ago
- Flat assembler major mode for Emacs.☆12May 17, 2015Updated 11 years ago
- A simple shoot 'em ups style game using Rust's Bevy crate https://play.marcoinacio.com☆15Feb 25, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple chinese dictionary based on the Cedict☆12Aug 19, 2024Updated 2 years ago
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- dmenu is an efficient dynamic menu for X. This is a fork with added functionalities.☆11Sep 27, 2018Updated 8 years ago
- Hours of ricing and many more to come☆12Jul 11, 2019Updated 7 years ago
- cool fetch tool wrote in rust☆11Jun 30, 2025Updated last year
- PS5 Spoofer☆11Aug 31, 2025Updated last year
- A repository of words in multiple languages sorted by their frequency☆13Sep 1, 2023Updated 3 years ago
- utilities useful for booting mainline linux on Samsung's midas boards (Galaxy S3/Galaxy Note 2)☆12Apr 21, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Assistant - Voice assistant GUI based on Mycroft, written in GTK☆17Aug 27, 2023Updated 3 years ago
- Custom 64-bit Architecture☆11May 3, 2026Updated 5 months ago
- ☆11Apr 14, 2023Updated 3 years ago
- Qute: a dependency learning QBF solver.☆18Mar 31, 2026Updated 6 months ago
- Very dirty approach to boot U-Boot on Samsung I9300. NOTE: It does NOT boot kernel and will eat your cat. For an actually working bootloa…☆15Aug 24, 2013Updated 13 years ago
- A faster lolcat.☆27Nov 6, 2019Updated 6 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum …☆11Jul 17, 2024Updated 2 years ago
- ☆12Mar 31, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An English-Chinese dictionary, both cli and a node module.☆13Mar 20, 2019Updated 7 years ago
- A voxel game, written in Fortran, LuaJIT, and C.☆12Dec 12, 2024Updated last year
- Linux Kernel source code for the device bq Aquaris M10☆10Apr 2, 2019Updated 7 years ago
- Nintendo 64 demo written in Java.☆11Jan 11, 2023Updated 3 years ago
- xdg-open in c, fork of soap☆14Feb 21, 2025Updated last year
- ☆10Aug 19, 2023Updated 3 years ago
- A KDE Plasma applet to prevent OLED burn-in on gaming handhelds during foreground downloads.☆12Dec 29, 2025Updated 10 months ago