Pinned Repositories
abstractsyntaxgen
Generates Java classes for abstract syntax trees with references and attributes
dorEr
Property based testing library for Erlang
go-fun
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.
isabelle_crdt_verification
java-smallcheck
Smallcheck for Java
minijava4vscode
A small extension for the MiniJava language developed in the compiler course at TU Kaiserslautern.
ref-crdt
Model of a CRDT for reference listing
repliss
Verification tool for information systems built on top of weakly consistent databases
repliss-isabelle
Isabelle theories for the Repliss tool
TLA-broadcast-algorithms
Broadcast algorithms implemented in TLA+ and Erlang
peterzeller's Repositories
peterzeller/go-fun
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.
peterzeller/TLA-broadcast-algorithms
Broadcast algorithms implemented in TLA+ and Erlang
peterzeller/repliss
Verification tool for information systems built on top of weakly consistent databases
peterzeller/repliss-isabelle
Isabelle theories for the Repliss tool
peterzeller/abstractsyntaxgen
Generates Java classes for abstract syntax trees with references and attributes
peterzeller/isabelle_fuzzy_rule
A fuzzy rule method for Isabelle
peterzeller/proofground2020-solutions
peterzeller/dorEr
Property based testing library for Erlang
peterzeller/antidote
SyncFree Reference Platform
peterzeller/azure-sdk-for-go
Microsoft Azure SDK for Go
peterzeller/buffalo-cli
The Buffalo CLI
peterzeller/crate
CrateDB is a distributed SQL database that makes it simple to store and analyze massive amounts of machine data in real-time.
peterzeller/dependently-typed-lambda-rs
peterzeller/docker-isabelle
Docker image for building Isabelle projects with CI
peterzeller/easyjson
Fast JSON serializer for golang.
peterzeller/erlesy
Visual Erlang development
peterzeller/go-stateful-test
A library for stateful property-based testing in Go.
peterzeller/go-tools
Staticcheck - The advanced Go linter
peterzeller/google-play-billing-validator
Npm module for Node.js to validate In-app purchases and Subscriptions on your backend
peterzeller/heimdall
An enhanced HTTP client for Go
peterzeller/isabelle-graph
Create dependency graphs from Isabelle theories
peterzeller/LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
peterzeller/logic-evaluator
Evaluator for first order logicical formulas on a fixed structure. Implemented in Scala.
peterzeller/mathlib4
Work in progress mathlib port for lean 4
peterzeller/peterzeller
Github profile
peterzeller/s3proxy
Access other storage backends via the S3 API
peterzeller/scala-prettyprint
A prettyprinting library for Scala following paper *A prettier printer* by Philip Wadler.
peterzeller/smallcheck4scala
SmallCheck for Scala
peterzeller/theorem_proving_in_lean4
Theorem Proving in Lean 4
peterzeller/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.