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.

TLA-broadcast-algorithms

Broadcast algorithms implemented in TLA+ and Erlang

repliss

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

repliss-isabelle

Isabelle theories for the Repliss tool

isabelle_fuzzy_rule

A fuzzy rule method for Isabelle

proofground2020-solutions

abstractsyntaxgen

Generates Java classes for abstract syntax trees with references and attributes

dorEr

Property based testing library for Erlang

antidote

SyncFree Reference Platform

azure-sdk-for-go

Microsoft Azure SDK for Go

buffalo-cli

The Buffalo CLI

crate

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

dependently-typed-lambda-rs

docker-isabelle

Docker image for building Isabelle projects with CI

easyjson

Fast JSON serializer for golang.

erlesy

Visual Erlang development

go-stateful-test

A library for stateful property-based testing in Go.

go-tools

Staticcheck - The advanced Go linter

google-play-billing-validator

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

heimdall

An enhanced HTTP client for Go

isabelle-graph

Create dependency graphs from Isabelle theories

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

logic-evaluator

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

mathlib4

Work in progress mathlib port for lean 4

peterzeller

Github profile

s3proxy

Access other storage backends via the S3 API

scala-prettyprint

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

smallcheck4scala

SmallCheck for Scala

theorem_proving_in_lean4

Theorem Proving in Lean 4

tlaplus

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