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 9 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 3 months ago
- Console script addons for Desmos☆21Mar 14, 2026Updated 6 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Use the Rust compiler as a hex viewer☆17Aug 25, 2022Updated 4 years ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 3 months ago
- A self-hosted programming language.☆12Oct 19, 2022Updated 3 years ago
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- ☆20Mar 12, 2023Updated 3 years ago
- National Novel Generation Month, 2024 edition.☆18Oct 10, 2025Updated 11 months ago
- Supercharge your Desmos graph creation and sharing experience with many convenient features☆134Sep 9, 2026Updated last week
- A LISP-y language that compiles to Desmos expressions.☆61Jul 30, 2024Updated 2 years ago
- DEPRECATED - https://github.com/RadiatedExodus/LuauCeption☆17Apr 6, 2024Updated 2 years ago
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 9 months 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.
- Asymptote preprocessor☆19Jul 22, 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 4 months ago
- An online math contest platform☆20Sep 14, 2026Updated last week
- This project is inspired by the paper "Growing Neural Cellular Automata" found at the link: https://distill.pub/2020/growing-ca/. The pro…☆17Jun 3, 2024Updated 2 years ago
- When should you berserk in lichess arena tournament games?☆21May 28, 2022Updated 4 years ago
- Platform for creating and using neural networks for classification and prediction.☆15Feb 23, 2024Updated 2 years ago
- JavaScript Dynamics Engine: physics simulation, rigid-body dynamics☆18Jun 9, 2012Updated 14 years ago
- ☆12Sep 6, 2023Updated 3 years ago
- a TI-Nspire OS downgrader for Ndless (compatible with the latest TI-Nspire CX II)☆11Aug 28, 2025Updated last year
- 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.
- Browser extension for better user control of the Desmos graphing calculator configuration☆12Jan 22, 2023Updated 3 years ago
- ☆27Aug 5, 2021Updated 5 years ago
- Community emulator for TI nspire handhelds☆13Jun 25, 2026Updated 2 months ago
- A chess engine made for the infinitechess.org website that can play on an unbounded board.☆27Updated this week
- ☆37Oct 16, 2023Updated 2 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☆15Aug 28, 2026Updated 3 weeks ago
- Assorted userscripts for Shadertoy.com☆17Oct 30, 2020Updated 5 years ago
- Collector of exceptional / somewhat personal github commit messages - updated daily☆11Apr 13, 2026Updated 5 months 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.
- Lua interpreter for Creative Coding☆44Dec 12, 2025Updated 9 months ago
- OpenAI CLIP based image generator with complex config file controlled transformation and training pipelines☆19Jan 4, 2022Updated 4 years ago
- A custom physics API for Figura avatars☆34Feb 10, 2025Updated last year
- GLSLRun is a tool that allows you to insert print() into short GLSL code for debugging.☆22Jul 19, 2023Updated 3 years ago
- the place the lua gods members put their libraries at☆30Sep 8, 2026Updated last week
- run deepseek v3 on a single node. Drops unused experts from memory.☆16Jan 26, 2025Updated last year
- TI-84 emulator for the TI-Nspire☆22Jan 29, 2019Updated 7 years ago