oisdk/agda-ring-solver external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

oisdk/agda-ring-solver

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/oisdk/agda-ring-solver)

Close

oisdk / agda-ring-solverView on GitHubMore

• External links
• Readme badge

A fast, easy-to-use ring solver for agda with step-by-step solutions

☆40Mar 12, 2022Updated 3 years ago

Alternatives and similar repositories for agda-ring-solver

Users that are interested in agda-ring-solver are comparing it to the libraries listed below

• homotopy-io / homotopy-webclient

  View on GitHub
  ☆27May 6, 2024Updated last year
• L-TChen / FiniteSets

  View on GitHub
  Fintie Sets in Cubical Agda
  ☆12Aug 30, 2019Updated 6 years ago
• ToposInstitute / polytt

  View on GitHub
  A type theory with native support for Polynomial Functors.
  ☆42Oct 8, 2023Updated 2 years ago
• koko-m / GoI-Visualiser

  View on GitHub
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆15Oct 1, 2021Updated 4 years ago
• sorear / smetamath-rs

  View on GitHub
  sorear's Metamath system engine - version 3 Rust
  ☆25May 31, 2023Updated 2 years ago
• flupe / generics

  View on GitHub
  ☆23Jul 1, 2024Updated last year
• mit-plv / rewriter

  View on GitHub
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆26Feb 17, 2026Updated 2 weeks ago
• sstucki / pts-agda

  View on GitHub
  A formalization of Pure Type Systems (PTS) in Agda
  ☆28Jul 3, 2025Updated 8 months ago
• lclem / agda-kernel

  View on GitHub
  An experimental Agda kernel for Jupyter
  ☆24Mar 9, 2022Updated 3 years ago
• bch29 / agda-holes

  View on GitHub
  Agda programming with holes
  ☆28Feb 2, 2021Updated 5 years ago
• Jaak / TinyOutsideIn

  View on GitHub
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Apr 13, 2015Updated 10 years ago
• phadej / overloaded

  View on GitHub
  Overloaded plugin
  ☆31Jun 15, 2024Updated last year
• alhassy / gentle-intro-to-reflection

  View on GitHub
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104May 25, 2022Updated 3 years ago
• phadej / kleene-type

  View on GitHub
  Regular expressions of types
  ☆16Sep 13, 2018Updated 7 years ago
• bollu / diffgeo

  View on GitHub
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Aug 29, 2021Updated 4 years ago
• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 6 years ago
• TristanCacqueray / hadertoy

  View on GitHub
  Haskell implementation of Glumpy
  ☆12Jun 21, 2021Updated 4 years ago
• sstucki / system-f-agda

  View on GitHub
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆75May 10, 2019Updated 6 years ago
• andreasabel / agda2lagda

  View on GitHub
  Simple conversion from Agda text to literate Agda text.
  ☆14Dec 26, 2025Updated 2 months ago
• dpsanders / ExactReals.jl

  View on GitHub
  Exact real arithmetic in Julia
  ☆13Feb 8, 2020Updated 6 years ago
• ChrisPenner / recursive-zipper

  View on GitHub
  Zippers for cofree types
  ☆14Dec 7, 2021Updated 4 years ago
• blanchette / logical_verification_2019

  View on GitHub
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Dec 16, 2019Updated 6 years ago
• letouzey / coq-minicalc

  View on GitHub
  Toy demo of lexing/parsing in Coq
  ☆12Jul 3, 2019Updated 6 years ago
• UlfNorell / agda-prelude

  View on GitHub
  Programming library for Agda
  ☆135Aug 22, 2024Updated last year
• bmsherman / topology

  View on GitHub
  Formal topology (and some probability) in Coq
  ☆31Nov 30, 2018Updated 7 years ago
• xgrommx / agda-ecosystem

  View on GitHub
  ☆32May 27, 2018Updated 7 years ago
• algebraic-graphs / agda

  View on GitHub
  The theory of algebraic graphs formalised in Agda
  ☆91Jul 15, 2018Updated 7 years ago
• scmu / foundations-harper

  View on GitHub
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆53Jul 24, 2019Updated 6 years ago
• Lysxia / quickcheck-higherorder

  View on GitHub
  QuickCheck extension for higher-order properties
  ☆19Feb 14, 2022Updated 4 years ago
• konn / sdg-agda

  View on GitHub
  Synthetic Differential Geometry in Agda
  ☆13Jan 14, 2015Updated 11 years ago
• math-comp / tutorial_material

  View on GitHub
  proof script associated to tutorial material
  ☆17Oct 29, 2023Updated 2 years ago
• uds-psl / autosubst-ocaml

  View on GitHub
  ☆19Nov 24, 2025Updated 3 months ago
• namin / reflective-towers

  View on GitHub
  software archaeology of reflective towers of interpreters
  ☆17Jun 6, 2025Updated 8 months ago
• sellout / dhall-dhall

  View on GitHub
  Implementation of Dhall in Dhall
  ☆12Feb 12, 2026Updated 2 weeks ago
• madman-bob / idris2-table

  View on GitHub
  A table library for Idris 2
  ☆15Oct 25, 2022Updated 3 years ago
• emilyriehl / yoneda

  View on GitHub
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆74Feb 1, 2026Updated last month
• patrickt / effects-benchmarks

  View on GitHub
  Benchmarking Haskell extensible-effect libraries.
  ☆34Aug 2, 2020Updated 5 years ago
• mortberg / gen-cart

  View on GitHub
  A Unifying Cartesian Cubical Set Model
  ☆35Oct 14, 2019Updated 6 years ago
• pigworker / CS410-18

  View on GitHub
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Apr 15, 2019Updated 6 years ago