RingIdris
Equivalence solver
This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language.
Ring solver for Idris
20 stars
5 watching
4 forks
Language: Idris
last commit: over 6 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
| idris-hackers/idris-koans | Learning Idris by fixing failing code in a series of small exercises | 178 |
 dkendal/aruspex | A configurable constraint solver written in Elixir. | 40 |
 amorriscode/advent-of-code | A template and generator for building solutions to Advent of Code challenges | 9 |
 dskecse/aoc2023 | A repository of solutions to Advent of Code 2023 puzzles in Ruby | 0 |
 rubennoriegamier/aoc_2023 | A collection of Python solutions for solving Advent of Code 2023 challenges | 0 |
 gifnksm/projecteulerrust | A collection of Rust implementations of Project Euler problems | 194 |
 idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
 keirua/aoc-cli | A tool for solving Advent of Code puzzles in Ruby | 10 |
 statebox/idris-ct | A formally verified category theory library written in Idris | 259 |
| idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
 daniglez/aoc | A collection of solutions to Advent of Code puzzles written in Julia | 7 |
 devries/aoc_template | An automating template for solving Advent of Code problems in Go | 4 |
 gahjelle/advent_of_code | A collection of personal attempts to solve puzzles from the Advent of Code challenge in various programming languages. | 29 |
 patrick-kidger/diffrax | Provides numerical differential equation solvers using autodifferentiable and GPU-capable JAX. | 1,480 |