Peter Zeller

Another programming language

Antlr4 plugin for sbt 1.1+ and 0.13.x

Generates Java classes for abstract syntax trees with references and attributes

Various unfinished Isabelle projects

Example driven tutorial on Isabelle/HOL

Formalizing SMT solvers with code generation

(early stage work in progress) A simple diff viewer based on Tauri and Monaco

Model of a CRDT for reference listing

Broadcast algorithms implemented in TLA+ and Erlang

Utilities and immutable collections for functional programming in Golang. This is an experimental library to play with the new Generics Feature in Go 1.18.

Staticcheck - The advanced Go linter

SmallCheck for Scala

A prettyprinting library for Scala following paper *A prettier printer* by Philip Wadler.

The Buffalo CLI

Fast JSON serializer for golang.

Github profile

A library for stateful property-based testing in Go.

Work in progress mathlib port for lean 4

Theorem Proving in Lean 4

Isabelle theories for the Repliss tool

Microsoft Azure SDK for Go

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Access other storage backends via the S3 API

An enhanced HTTP client for Go

No description provided.

Npm module for Node.js to validate In-app purchases and Subscriptions on your backend

Verification tool for information systems built on top of weakly consistent databases

CrateDB is a distributed SQL database that makes it simple to store and analyze massive amounts of machine data in real-time.

Evaluator for first order logicical formulas on a fixed structure. Implemented in Scala.

A fuzzy rule method for Isabelle