VSCode Extension - Proof Assistant for Metamath
☆14Jan 10, 2026Updated 3 months ago
Alternatives and similar repositories for Yamma
Users that are interested in Yamma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- Metamath source file for logic and set theory☆310Updated this week
- Source of metamath book☆55Dec 22, 2023Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆79Sep 16, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆23Apr 23, 2026Updated last week
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Set Theory Game☆26Jan 20, 2026Updated 3 months ago
- ☆16Jul 2, 2025Updated 10 months ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆14Mar 12, 2026Updated last month
- Open external links in new tabs of the browser in Sphinx HTML documents☆13Oct 12, 2025Updated 6 months ago
- A different type of data visualization!☆29Sep 24, 2024Updated last year
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆39Dec 20, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This web app can be used to compute and visualize featurized PH barcodes.☆12Jul 29, 2024Updated last year
- Scripts to preprocess mouse MRI/fMRI/dMRI☆12May 22, 2024Updated last year
- Assignment for CS224W☆12Jan 18, 2021Updated 5 years ago
- Python Script to scrape through MIT OpenCourseWare website to download Course Materials.☆13Apr 6, 2017Updated 9 years ago
- Models of the early stages in the primate visual system, including retina, LGN and primary visual cortex (V1)☆14Jun 24, 2018Updated 7 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 10 years ago
- A flake8 plugin to generate an HTML dashboard with a report of the flake8 violations found.☆16Jan 5, 2024Updated 2 years ago
- An astropy extension to describe observations from the surface of the Moon.☆14Apr 15, 2026Updated 2 weeks ago
- Chowdhury, S. and Mémoli, F., Persistent Path Homology of Directed Networks. SODA 2018.☆13Mar 30, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- V-Mapper -☆10Aug 6, 2023Updated 2 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated last year
- Computational model reported in: Izquierdo EJ, Beer RD. 2018 From head to tail: a neuromechanical model of forward locomotion in Caenorha…☆15Apr 24, 2021Updated 5 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆101Jan 4, 2025Updated last year
- Make/Encode some basic logic puzzles☆18Jul 10, 2024Updated last year
- metamath proof enumerators and other things☆97Nov 16, 2025Updated 5 months ago
- fast wrapper around some pixel manipulation☆27Sep 16, 2016Updated 9 years ago
- Examples for PyNN 0.9 (and 0.8)☆18Feb 13, 2026Updated 2 months ago
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 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.
- Homoglyphs: get similar letters, convert to ASCII, detect possible languages and UTF-8 group.☆19Updated this week
- The official implementation for the paper R.Castro, S.Moustafa, P.Pilyugina, E.Burnaev "Topologically-based Variational Autoencoder for T…☆19Jun 18, 2020Updated 5 years ago
- spinningnumbers.org☆15Mar 24, 2026Updated last month
- A python implementation to extract Shape DNA [1] of triangle surface meshes☆19Jan 23, 2018Updated 8 years ago
- 64-bit kindlegen for OSX 10.14 and above☆23Mar 25, 2020Updated 6 years ago
- Mathematical notes and papers☆27Jan 22, 2026Updated 3 months ago
- Visual Coding 2P analysis code☆18Jun 3, 2020Updated 5 years ago