samuelgruetter

srewrite

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

riscv-coq

RISC-V Specification in Coq

counterexamples

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

scaladiagrams

Generate class diagrams from scala source code

map-automation

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

bedrock2

Towards a low-level systems programming language with a verified compiler

calculus-of-constructions

a simple implementation of the pure calculus of constructions

certicoq

dotty

Research platform for new language concepts and compiler technologies for Scala.

fsm

Finite State Machine Designer

homepage

My homepage/blog

icfpcontest2015

ICFP Programming Contest 2015 Submission

InteractionTrees

Formalization of the Interaction Tree Datatype in Coq

jekyll

:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby

joonwonc.github.io

My homepage

learning-rxjava

Examples of using RxJava

leon

The Leon system for verification, synthesis, and more.

ltac-sat

ordered_resolution

plugin_tutorials

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

riscv-scala

Experiment: Exporting the Coq RISCV-spec to Scala

riscv-semantics

RxScala

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

RxSwing

RxJava bindings for Swing

smtcoq

Communication between Coq and SAT/SMT solvers

trellys

Automatically exported from code.google.com/p/trellys

tutorial

A series of practical step-by-step guides that introduce scala.meta

VST

Verified Software Toolchain

vst-ifc

whiteglass

Minimal, responsive Jekyll theme for hackers