rodrigogribeiro/generic rodrigogribeiro/generic

  • Stars
    star
    2
  • Language Agda
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rodrigogribeiro/generic
github

rodrigogribeiro

Reviews

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

Repository Details

Being a place where rodrigogribeiro study generic programming based on universes on dependently typed languages

More Repositories

1

agda-software-foundations

Porting of software foundations book to Agda
Agda
36
star
2

unification

Formalisation of a type unification algorithm in Coq proof assistant.
Coq
17
star
3

idrisregexp

Regular expression matching in Idris
Idris
10
star
4

apostila-discreta

Material para Matemática Discreta
TeX
9
star
5

type-theory

Being the materials of type theory course at UFOP
Haskell
8
star
6

tutoria-bcc222

Materiais da tutoria de BCC222
Haskell
4
star
7

coqcourse

Página de um curso introdutório sobre o assistente de provas Coq.
Coq
4
star
8

pcc116-2021-2

JavaScript
3
star
9

logic

An adventure on formalising logics using Agda programming language
Agda
3
star
10

bcc222-material

Haskell
3
star
11

mptc

type inference for haskell
Haskell
3
star
12

regex

TeX
2
star
13

tapl-redex

Racket
2
star
14

BCC244-lecturenotes

Lecture notes for BCC244
TeX
2
star
15

monoid-prover

A reflective tactic for proving monoid equalities in Idris
Idris
2
star
16

agda-tutorial

My solutions to the proposed exercices of a Agda tutorial.
2
star
17

regexvm

TeX
1
star
18

politics

An utility Agda library for politics formalising their speech.
Agda
1
star
19

pcc116-agda-lib

Agda library for the course PCC116 - Logics in Computer Science
Agda
1
star
20

finite_types

A library for defining types with a finite number of inhabitants in Coq.
Coq
1
star
21

simple-vm

A simple VM as a language in racket
Racket
1
star
22

coq-stalin-sort

Formalisation of stalin-sort in Coq
Coq
1
star
23

propostatese

Haskell
1
star
24

UDESC-talk-04-2014

Slides e código para palestra na UDESC em 04/2014
TeX
1
star
25

PCC102-2021-1

HTML
1
star
26

normalization

Formalizing normalization algorithms
Agda
1
star
27

expdsl

Coq
1
star
28

denotational

Having some fun with denotational semantics in Agda
Agda
1
star
29

simple-order

Simple implementation of a lexicographic ordering using Coq module system
Coq
1
star