Samuel Gruetter (@samuelgruetter)
github

samuelgruetter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    154
  • Global Rank 150,794 (Top 6 %)
  • Followers 76
  • Following 1
  • Registered about 12 years ago
  • Most used languages
    Coq     77.8 %
    Scala
         11.1 %
    Scheme
         11.1 %

Top repositories

1

dot-calculus

Formalization of the Dependent Object Types (DOT) calculus
Coq
61
star
2

rx-playground

Some GUI examples in Java/Scala using Reactive Extensions
Scala
45
star
3

riscv-coq

RISC-V Specification in Coq
Coq
12
star
4

coq-smt-notations

A quick hack to ask any SMT solver if your Coq goal is true
Coq
9
star
5

counterexamples

What's the best way to find counterexamples to Coq conjectures?
Coq
4
star
6

coq-tricks

Collection of Useful Features of the Coq Proof Assistant
Coq
3
star
7

typesafety-proofs-spring14

semester project
Coq
1
star
8

map-automation

How can automated reasoning about maps in Coq be made fast?
Coq
1
star
9

type-systems-spring13

semester project
Scheme
1
star