@logicbot@mathstodon.xyz
☆21Apr 15, 2023Updated 3 years ago
Alternatives and similar repositories for Logic-Bot
Users that are interested in Logic-Bot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 4 years ago
- ☆11Oct 1, 2026Updated last week
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 2 months ago
- Create a data visualization using Polymer and WebGL☆15Jun 10, 2017Updated 9 years ago
- Kernel Independent Fast Multipole Method in Python☆13Jun 21, 2024Updated 2 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.
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- the concurrent partitioner☆16Mar 23, 2026Updated 6 months ago
- LibreOffice Malay dictionary extension. Released under GPLv3 & LGPLv3. Covered by FDLv1.3.☆14Oct 31, 2022Updated 3 years ago
- FEniCS website☆17Sep 30, 2026Updated last week
- Computational Acoustics Knowledgebase☆18Mar 27, 2024Updated 2 years ago
- A conference schedule optimiser using linear programming.☆22Jul 8, 2026Updated 3 months ago
- Search for pages on Wikipedia and add links☆20Dec 3, 2025Updated 10 months ago
- Babylscript is a modification of the Mozilla Rhino JavaScript engine for Java. It extends JavaScript to support multiple languages like F…☆22Oct 26, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- N-Queens puzzle built with react and SWI Pengines.☆10Aug 13, 2026Updated last month
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Kriging estimators for the GeoStats.jl framework☆16Sep 20, 2023Updated 3 years ago
- Display stack traces in reverse order☆14Apr 14, 2023Updated 3 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆21Updated this week
- Regular expressions for Prolog☆17Jul 6, 2017Updated 9 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Sep 19, 2017Updated 9 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- A python package to automate downloads of Salesforce Weekly Data Exports☆10Jan 26, 2021Updated 5 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.
- DeepDip, a DRL Gym agent that plays no-press Diplomacy in BANDANA☆13Jul 22, 2019Updated 7 years ago
- Cut finite elements for FEniCSx☆20Updated this week
- ☆14Jul 13, 2021Updated 5 years ago
- OCaml bindings to Minisat☆12May 6, 2024Updated 2 years ago
- HTML API for Citation.js☆15Updated this week
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- my panzer support directory☆11Feb 12, 2019Updated 7 years ago
- ☆18Mar 25, 2023Updated 3 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 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.
- Check prices for a DB route.☆12Oct 21, 2021Updated 4 years ago
- Performs automated backups of SalesForce.com data.☆11Jun 22, 2022Updated 4 years ago
- Quasi-steady electromagnetics including filamentized approximations, Biot-Savart, and Grad-Shafranov.☆18Updated this week
- Fast Multipole Methods in Rust☆22Apr 23, 2026Updated 5 months ago
- ☆14May 9, 2021Updated 5 years ago
- An interpreter of well-formed formulas in propositional calculus.☆10Jan 5, 2015Updated 11 years ago
- realhats LaTeX package☆120Apr 5, 2023Updated 3 years ago