A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface for performing logical comparisons (equal, less than, etc) and performing actions on them (if statements).
☆17Dec 11, 2025Updated 7 months ago
Alternatives and similar repositories for Logimat
Users that are interested in Logimat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- garbled-snark-verifier repository☆18May 27, 2026Updated last month
- Console script addons for Desmos☆21Mar 14, 2026Updated 4 months ago
- Use the Rust compiler as a hex viewer☆17Aug 25, 2022Updated 3 years ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A gameboy emulator written in pure Lua, for ComputerCraft. Work in progress.☆12Feb 2, 2025Updated last year
- Supercharge your Desmos graph creation and sharing experience with many convenient features☆130Jul 7, 2026Updated 2 weeks ago
- A LISP-y language that compiles to Desmos expressions.☆61Jul 30, 2024Updated last year
- A small embeddable scripting language☆27May 30, 2022Updated 4 years ago
- Asymptote preprocessor☆19Jun 2, 2026Updated last month
- [WIP] Phoxel strives to capture some of the beauty of real life, mixed with the unique ambience and blocky beauty of the Minecraft we've …☆10May 12, 2026Updated 2 months ago
- Bayesian Elo Rating estimator☆15Jul 2, 2015Updated 11 years ago
- Cont is a compiled statically-typed object oriented concatenative programming language written in Python☆18Jan 26, 2026Updated 5 months ago
- The hobbyist's programming language☆25Jun 2, 2023Updated 3 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.
- An online math contest platform☆20Jun 5, 2026Updated last month
- Repository for the paper: "Using deep learning to predict outcomes of legal appeals better than human experts"☆11Aug 1, 2022Updated 3 years ago
- Documentation about native assembly programming on the TI CE calculators (84+CE / 83PCE)☆63Oct 3, 2024Updated last year
- cpp_string☆14May 16, 2022Updated 4 years ago
- ☆10Dec 22, 2024Updated last year
- This is a repository to show you the power of supabase with next.js.☆12Sep 8, 2022Updated 3 years ago
- 16-bit fantasy computer☆26Mar 2, 2024Updated 2 years ago
- When should you berserk in lichess arena tournament games?☆21May 28, 2022Updated 4 years ago
- basic 3D simulation with pygame☆15Aug 2, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Discover the best clubs and organizations at UTD☆24Updated this week
- Platform for creating and using neural networks for classification and prediction.☆15Feb 23, 2024Updated 2 years ago
- Simple chess AI built using python and flask.☆13Sep 15, 2022Updated 3 years ago
- JavaScript Dynamics Engine: physics simulation, rigid-body dynamics☆18Jun 9, 2012Updated 14 years ago
- ☆12Sep 6, 2023Updated 2 years ago
- a TI-Nspire OS downgrader for Ndless (compatible with the latest TI-Nspire CX II)☆11Aug 28, 2025Updated 10 months ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Jul 3, 2016Updated 10 years ago
- 🔥 A repository for collecting cyberdefense thoughts, books, and documents about AI cyberdefense☆13Jul 2, 2023Updated 3 years ago
- Github workflow template to convert an app folder (.exe and data files) to an MSI installer☆17Jul 29, 2024Updated last year
- 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.
- Community emulator for TI nspire handhelds☆12Jun 25, 2026Updated 3 weeks ago
- Automatically create Anki cards from text using language models☆20Jan 7, 2023Updated 3 years ago
- A 3D rendering program for Tkinter☆13Jan 8, 2025Updated last year
- RTL-SDR *very* experimental branch. Modded R820T/R820T2/R860 driver. Nohw-mod☆15Apr 12, 2026Updated 3 months ago
- Assorted userscripts for Shadertoy.com☆16Oct 30, 2020Updated 5 years ago
- Collector of exceptional / somewhat personal github commit messages - updated daily☆11Apr 13, 2026Updated 3 months ago
- Lua interpreter for Creative Coding☆44Dec 12, 2025Updated 7 months ago