MathWebSearch Implementation
☆50Nov 25, 2022Updated 3 years ago
Alternatives and similar repositories for mws
Users that are interested in mws are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Apr 1, 2016Updated 10 years ago
- ☆23Sep 25, 2026Updated last month
- Dungeon Crawl Stone Soup port to iOS☆13Jan 7, 2025Updated last year
- A collection of Claude Code skills for iOS, Swift, SwiftUI, and more☆13Jan 17, 2026Updated 9 months ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 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.
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆31Jul 8, 2026Updated 3 months ago
- Play Dungeon Crawl Stone Soup (DCSS) on your phone, online or fully offline. Unofficial mobile DCSS app for iOS (iPhone, iPad) & Android.…☆21Oct 29, 2026Updated last week
- batch uploader for research data☆10Sep 9, 2026Updated last month
- Neural networks for Go move prediction, parsed 17.8M positions from professional games.☆12Jan 16, 2018Updated 8 years ago
- The Click example that I use in my tutorial articles.☆13May 23, 2018Updated 8 years ago
- ☆35Jul 21, 2026Updated 3 months ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆21Updated this week
- Java implementation of the Simple Genetic Algorithm, the Univariate Marginal Distribution Algorithm, the Extended Compact Genetic Algorit…☆12Jul 14, 2015Updated 11 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- Lean 4 Metamath verifier☆24Dec 12, 2025Updated 10 months ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- Hypertext mechanics in Bash☆16Apr 4, 2021Updated 5 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- Generator of API documentation for Python☆14Mar 20, 2024Updated 2 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 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.
- Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction☆10Feb 6, 2026Updated 9 months ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 10 months ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Command-line utility to return Zotero record field values given a Zotero select link, an item key, or even just a file attachment☆10Dec 23, 2023Updated 2 years ago
- Export Blender (2.4x) curves to TikZ format for use with TeX☆13Apr 18, 2014Updated 12 years ago
- ☆31Sep 9, 2014Updated 12 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- Bookends Store for https://github.com/retorquere/zotero-sync☆11May 25, 2021Updated 5 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.
- SAT Competition 2024☆11Aug 28, 2024Updated 2 years ago
- Neuro-Symbolic RL agent plays MiniHack☆10Mar 30, 2026Updated 7 months ago
- A simple C++ based force directed layout system for performing command line layouts of nodes and edges in both 2D and 3D. Supports JSON …☆23Jan 9, 2017Updated 9 years ago
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 8 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆16Updated this week
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- ☆16Aug 26, 2026Updated 2 months ago