RingIdris
by FranckS
Ring solver for Idris
AI summary
Equivalence solver
This is a collection of tactics to prove equivalences between algebraic structures in the Idris programming language.
- stars
- 20
- forks
- 4
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
Idris tutorial
Learning Idris by fixing failing code in a series of small exercises
Constraint Solver
A configurable constraint solver written in Elixir.
Challenge solver
A template and generator for building solutions to Advent of Code challenges
Puzzle solver
A repository of solutions to Advent of Code 2023 puzzles in Ruby
Challenge solver
A collection of Python solutions for solving Advent of Code 2023 challenges
Project solver
A collection of Rust implementations of Project Euler problems
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
Puzzle solver
A tool for solving Advent of Code puzzles in Ruby
Category theory library
A formally verified category theory library written in Idris
JavaScript binder
Provides safe interface to JavaScript's unsafe world
Puzzle solver
A collection of solutions to Advent of Code puzzles written in Julia
Advent solver
An automating template for solving Advent of Code problems in Go
Challenge repository
A collection of personal attempts to solve puzzles from the Advent of Code challenge in various programming languages.
Differential equation solver
Provides numerical differential equation solvers using autodifferentiable and GPU-capable JAX.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions RingIdris.
