☆15Nov 8, 2024Updated 2 years ago
Alternatives and similar repositories for grammafy
Users that are interested in grammafy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Apr 19, 2026Updated 6 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆38Updated this week
- SDPA gmp (arbitrary pricision) version☆10Jan 17, 2025Updated last year
- Chip renders (PNG) for Tiny Tapeouts shuttles☆15Sep 23, 2026Updated last month
- 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.
- Source for the community blog☆11Oct 26, 2026Updated 2 weeks ago
- A simple Brainfuck JIT written as a learning exercise.☆16Aug 13, 2019Updated 7 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- KLayout plugin for efficient alignments of layout objects☆12Jul 24, 2026Updated 3 months ago
- A simple 5-transistor OTA.☆12Jun 27, 2025Updated last year
- High-power, wide-bandwidth RF amplifier☆12Feb 26, 2018Updated 8 years ago
- Monitoring a high precision 10MHz GPS disciplined oscillator (GPSDO)☆14Dec 1, 2024Updated last year
- Open-source desktop workspace for IC design — schematic capture, analog optimization, SPICE/RTL simulation, synthesis, and digital implem…☆14Updated this week
- A collection of all sorts of simulation resources for the EMerge full wave FEM solver☆16Aug 25, 2026Updated 2 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.
- Wide Bandwidth low noise amplifier 20Hz-20MHz 20/40dB☆11Oct 16, 2019Updated 7 years ago
- SDPLIB is a collection of semidefinite programming test problems.☆15Jul 20, 2025Updated last year
- Computable Polynomials in Lean.☆49Updated this week
- Arduino script for a 6-digitmilli-volt meter☆13Dec 9, 2020Updated 5 years ago
- [ICML'23 Oral] HETAL: Efficient Privacy-preserving Transfer Learning with Homomorphic Encryption☆48Mar 29, 2024Updated 2 years ago
- Bonbon Computer☆14May 23, 2023Updated 3 years ago
- ☆16Feb 17, 2025Updated last year
- Minimax AI for standard checkers☆11Jul 9, 2016Updated 10 years ago
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks 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.
- Advanced Integrated Circuits 2025☆14Nov 1, 2025Updated last year
- Simulations for light-pulse atom interferometry☆16Nov 2, 2026Updated last week
- Formal prime certificates in Lean 4☆12Updated this week
- A curated list of Lean 4 libraries, tools, frameworks and learning resources for programmers☆21Oct 21, 2026Updated 2 weeks ago
- Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal☆13Sep 22, 2026Updated last month
- OpenTwin Master☆12Updated this week
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- a derivative of Lar's Arduino GPSDO☆12Jun 5, 2026Updated 5 months ago
- A handy tool to visualize Gaussian beam propagation through lenses☆10Dec 21, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Advanced Integrated Circuits 2026☆17Oct 9, 2026Updated last month
- Create lumped models from S-parameters☆12Oct 19, 2026Updated 3 weeks ago
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- Generate dicrete colored (power law) noise☆10May 22, 2018Updated 8 years ago
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"☆11Aug 11, 2025Updated last year
- Fuse: a desktop workspace for Lean formalization with AI agents☆13Oct 19, 2026Updated 3 weeks ago
Are these results useful?