Arthur Azevedo de Amorim (@arthuraa)
github

arthuraa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    216
  • Global Rank 116,019 (Top 4 %)
  • Followers 131
  • Following 21
  • Registered over 14 years ago
  • Most used languages
    Coq     61.9 %
    C
         9.5 %
    OCaml
         9.5 %
    Agda     4.8 %
    Jupyter Notebook
         4.8 %
    Emacs Lisp
         4.8 %
    C++
         4.8 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 27,493
  • Country Ranking
    Coq     12
    Agda     14
    OCaml
         386
    Emacs Lisp
         2,348

Top repositories

1

poleiro

A blog about Coq
Coq
47
star
2

extructures

Finite sets and maps for Coq with extensional equality
Coq
30
star
3

deriving

Class instances for Coq inductive types with little boilerplate
Coq
24
star
4

agda-hoas-demo

Experiments with higher-order abstract syntax in Agda
Agda
19
star
5

memory-safe-language

A formalization of properties of a simple imperative, memory-safe language.
Coq
19
star
6

coq-utils

Some basic libraries for Coq.
Coq
14
star
7

beaq

A Formalization of TeX in Coq
Coq
10
star
8

cryptis

Coq
9
star
9

cufp-2015-tutorial

An introductory tutorial for the Coq proof assistant.
Coq
9
star
10

finprob

Finite probability theory in Coq
Coq
6
star
11

sf-grader

Auto grader for Software Foundations
OCaml
4
star
12

cutelittlethings

C++
3
star
13

coq-cpo

A Coq library for CPOs
Coq
2
star
14

cis670-project

Oh yeah
OCaml
2
star
15

netter

Produce Prism models from a simple imperative language
Coq
2
star
16

project

C
1
star
17

plink

1
star
18

Projeto-mc823

1
star
19

mc326-bplus

C
1
star
20

ssr-intro

An introduction to Coq through the ssreflect library.
Coq
1
star
21

ll-cut-elim

Cut elimination for Intuitionistic Linear Logic in Coq
Coq
1
star
22

emacs-files

Personal configuration files for Emacs
Emacs Lisp
1
star
23

forest-explanations

Jupyter Notebook
1
star