samuelgruetter Goto Github PK

joonwonc.github.io

My homepage

kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

learning-rxjava

Examples of using RxJava

leon

The Leon system for verification, synthesis, and more.

libraries

Libraries useful for Dafny programs

ltac-sat

map-automation

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

name-the-biggest-number

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

ordered_resolution

plugin_tutorials

A collection of small projects to illustrate how to write plugins for Coq

reactive-programming-scala

reactivex.github.io

ReactiveX Website

rfcs

Dafny request-for-feature discussions

riscv-coq

RISC-V Specification in Coq

riscv-elf-psabi-doc

A RISC-V ELF psABI Document

riscv-scala

Experiment: Exporting the Coq RISCV-spec to Scala

riscv-semantics

riscv_isa_spec_tour

Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)

rx-playground

Some GUI examples in Java/Scala using Reactive Extensions

rxjava

RxJava - a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

rxscala

RxScala – Reactive Extensions for Scala – a library for composing asynchronous and event-based programs using observable sequences

rxswing

RxJava bindings for Swing

samuelgruetter.github.io

Personal Website

scala

The Scala programming language

scaladiagrams

Generate class diagrams from scala source code

silveroak

Formal specification and verification of hardware, especially for security and privacy.

smtcoq

Communication between Coq and SAT/SMT solvers

srewrite

rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source

srewrite-test

Example project for srewrite