• Stars
    star
    1
  • Language Agda
  • Created about 5 years ago
  • Updated about 5 years ago

Reviews

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

Repository Details

An utility Agda library for politics formalising their speech.

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

generic

Being a place where rodrigogribeiro study generic programming based on universes on dependently typed languages
Agda
2
star
18

regexvm

TeX
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