☆53Aug 19, 2026Updated last month
Alternatives and similar repositories for tuxmath
Users that are interested in tuxmath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Papirus icons for Firefox☆19Apr 18, 2024Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 3 years ago
- Collected source code to various old DOS raycaster-based FPSes.☆14Feb 23, 2017Updated 9 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 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 hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 8 years ago
- A library that mimic fread, fseek and ftell for reading zstd compressed files.☆24Mar 8, 2026Updated 7 months ago
- Android app for finding directions using the position of the sun in the sky.☆10Jan 28, 2016Updated 10 years ago
- Metamask Desktop client and Web3 dApp browser for Windows, macOS, and Linux. Built with EVM and Solana support.☆1,237Oct 7, 2026Updated last week
- Godot Dungeon Wave Game☆12Feb 21, 2018Updated 8 years ago
- Extra (but standard) addons for impress.js - Collection of independent 3rd party JS libraries commonly used in impress.js presentations☆19Nov 1, 2017Updated 8 years ago
- KParts☆14Oct 9, 2026Updated last week
- a http(s) client in idris☆28Dec 11, 2024Updated last year
- ☆14Apr 8, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Nord Modular G1 emulator (68331 + DSP56303), playable from Animatek NME☆101Updated this week
- GNU Aris (fork)☆13Aug 26, 2026Updated last month
- Unofficial version of https://sourceforge.net/projects/npp-plugins/files/SpeechPlugin/☆13Jun 22, 2026Updated 3 months ago
- This is the global manifest for Parrot Ground SDK.☆13Jun 6, 2023Updated 3 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- A Tic Tac Toe game for Android featuring 1 or 2 player mode with multiple skill levels☆10Sep 9, 2015Updated 11 years ago
- Portable high-level assembler with authentic C syntax☆27Jul 1, 2022Updated 4 years ago
- A mod of Pender's excellent Brogue. Based on 1.7.4.☆10Sep 26, 2018Updated 8 years ago
- Let's build a rocket together! Our rocket, Spacecraft, is a simple CLI Project made with typescript☆10Mar 5, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Telnet enabler for PlayStation Classic☆11Oct 13, 2020Updated 6 years ago
- Open Source Software used in Parrot Anafi☆12Jul 3, 2019Updated 7 years ago
- Based on the latest version of blueMSX available at https://redirect.viglink.com/?format=go&jsonp=vglnk_156926726639412&key=1db07c1ca961f…☆14Sep 10, 2024Updated 2 years ago
- A quick and lightweight python script to backup your data from trakt.tv https://iacoviola.pythonanywhere.com/backup☆11Jul 1, 2023Updated 3 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 9, 2026Updated last week
- Defender arcade game code reverse engineered back into source.☆11Jan 8, 2022Updated 4 years ago
- NES in C☆49Feb 18, 2023Updated 3 years ago
- Popcorn Time implementation for iOS platform. Stream your torrents directly☆17Mar 18, 2014Updated 12 years ago
- Wing Commander Saga: Darkest Dawn Source Code☆18Aug 31, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A small graphical calculator project.☆10Oct 6, 2021Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A world clock and weather widget for Android☆17Apr 25, 2023Updated 3 years ago
- Educational reverse engineering of the Elektron Octatrack MKII firmware (OS 1.40C, ColdFire + DSP56xxx) — tooling, notes and behavior pat…☆76Sep 26, 2026Updated 3 weeks ago
- p5.js is a JS client-side library for creating graphic and interactive experiences, based on the core principles of Processing. http://tw…☆15Aug 10, 2018Updated 8 years ago
- A hunting and fishing addon for Suntimes.☆20Sep 8, 2026Updated last month
- The theory of algebraic graphs formalised in Agda☆95Jul 15, 2018Updated 8 years ago