Valentin Robert (@Ptival)
github

Ptival

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    228
  • Global Rank 111,165 (Top 4 %)
  • Followers 109
  • Following 29
  • Registered about 14 years ago
  • Most used languages
    Haskell
         35.7 %
    Coq     21.4 %
    Nix
         14.3 %
    JavaScript
         3.6 %
    Makefile     3.6 %
    Python
         3.6 %
    HTML
         3.6 %
    OCaml
         3.6 %
    PureScript     3.6 %
    CSS
         3.6 %
    Rust
         3.6 %
  • Location 🇺🇸 United States
  • Country Total Rank 26,460
  • Country Ranking
    Coq     15
    PureScript     159
    Nix
         220
    OCaml
         259
    Haskell
         347
    Makefile     3,956
    CSS
         5,307
    Rust
         6,048

Top repositories

1

PeaCoq

PeaCoq is a pretty Coq, isn't it?
Coq
106
star
2

ocamelf

ELF-parsing library written in OCaml for OCaml
OCaml
12
star
3

language-ocaml

Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
Haskell
12
star
4

yugioh

Yu-Gi-Oh! simulator
Haskell
10
star
5

chick

Haskell
9
star
6

mock-haskell-projects

A collection of mock Haskell project setups that ought to load properly
8
star
7

lyah-fr

French translation of Learn You A Haskell For Great Good
CSS
8
star
8

recursion-schemes-examples

Examples of using the recursion-schemes package
Haskell
7
star
9

language-coq

Haskell
6
star
10

HaysTac

A pile of Ltac tactics that might contain the needle you're looking for...
Coq
5
star
11

galois

Reproducible setup for Galois
Nix
5
star
12

ProofIDE

Editing proofs made nicer
Haskell
5
star
13

extensible-nanopass-compiler

A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques
Coq
4
star
14

social_scrapper

This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.
Python
4
star
15

yokoiboy

Toy GameBoy emulator, in Rust
Rust
3
star
16

rocq-gameboy

Coq
3
star
17

00-lambda

Starter code for 00-lambda
Haskell
2
star
18

generic-spot-the-difference

Nix
2
star
19

haskell-nix-template

Template for Haskell project using nix + haskell.nix + niv + hpack + haskell-language-server
Nix
2
star
20

peacoqtop

Haskell
2
star
21

peacoq-server

Haskell
2
star
22

learn-from-peers-rxjs

JavaScript
2
star
23

ynot

Harvard's Ynot: http://ynot.cs.harvard.edu/ - One branch per Coq version which needed changes
Coq
2
star
24

advent-of-code

Haskell
1
star
25

coq-of-s2n

1
star
26

lambda-forall

HTML
1
star
27

compcert-alias

Alias analysis for CompCert
Coq
1
star
28

formal

Formalization of some dependently-typed languages
Makefile
1
star
29

peacoq-frontend

PureScript
1
star
30

segfaulty

Nix + Haskell + Polysemy + HIE = GHC panic
Nix
1
star