samuelgruetter/rx-playground samuelgruetter/rx-playground

  • Stars
    star
    45
  • Rank 624,037 (Top 13 %)
  • Language
    Scala
  • Created about 11 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
samuelgruetter/rx-playground
github

samuelgruetter

Reviews

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

Repository Details

Some GUI examples in Java/Scala using Reactive Extensions

More Repositories

1

dot-calculus

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

riscv-coq

RISC-V Specification in Coq
Coq
12
star
3

coq-smt-notations

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

counterexamples

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

coq-tricks

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

typesafety-proofs-spring14

semester project
Coq
1
star
7

map-automation

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

type-systems-spring13

semester project
Scheme
1
star