ggzor/sorting-agda ggzor/sorting-agda

  • Stars
    star
    1
  • Language Agda
  • Created about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ggzor/sorting-agda
github

ggzor

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proofs of sorting algorithms using Agda

More Repositories

1

seminarios-tla

TeX
4
star
2

PPC-Filosofos

Soluci贸n al problema de los fil贸sofos comensales con Python y Locks
Python
3
star
3

dotfiles-arch

My dotfiles.
Shell
2
star
4

advent-of-code-2021

My solutions for the Advent of Code 2021 in Scala, Python, Haskell and Rust.
Rust
2
star
5

Recursos

Recursos de diversos temas que he encontrado muy 煤tiles
1
star
6

cuda-busy-beaver

Busy-Beaver CUDA calculator
Cuda
1
star
7

eURM

Extended URM machines interpreter and compiler with support for compositional, recursive, bounded minimizational, summation and product definitions
Haskell
1
star
8

turing-machines

A Turing Machines interpreter
Haskell
1
star
9

seminarios-idris2-dt

Los seminarios sobre programaci贸n con Tipos Dependientes en Idris 2
TeX
1
star
10

AguaSB

C#
1
star
11

SistemasOperativos2

Pr谩cticas de la materia de sistemas operativos 2.
Python
1
star
12

md-visualizacion-proyecto-final

Visualizaci贸n de los cl煤steres del proyecto final de miner铆a de datos.
JavaScript
1
star
13

Integrales

Python
1
star
14

plox

A Python *lox interpreter
Python
1
star
15

fast-hanoi

A towers of hanoi visualizer built with react, framer-motion and chakra-ui
JavaScript
1
star