proglang

FunctionalProgramming

Support repository for the functional programming lecture (Haskell)

ldgv

Label dependent dependent session types

Informatik-III-Theoretische-Informatik

Vorlesungsskript zu Informatik III - Theoretische Informatik, gehalten von Prof. Dr. Peter Thiemann im WS 2014/15 und WS 2015/16

javatx

dts-generate-results

incorrectness

Incorrectness type system

jgs

Gradual Java

SystemF

tezos-project

tezos-public

Public documents and releases of the Tezos project @ Uni Freiburg

thesis-template

AlgST

Parser and Typechecker for Algebraic Session Types

assignment-final-stub

bbse

Lecture slides "Blockchain-based Systems Engineering"

definitional

Mechanized Type Soundness Proofs using Definitional Interpreters

docker-php-nginx

Docker image with Nginx 1.16 & PHP-FPM 7.3 on Alpine Linux

ilias-servercodetest

Ilias plugin for severcodetest

JaVerT2.0

JaVerT2.0 - Compositional Symbolic Execution for JavaScript

kafkajs-getting-started

Simple getting started example for KafkaJS

ldlc

label dependent lambda calculus

pl-experiments

Mainly for Affe

plfa.github.io

Introduction to programming language theory in Agda

presence

check presence at courses and exams

PrimRec

experiments with encodings of primitive recursion

proglang.github.io

Website for the Proglang group

proseminar-rwo

content for real world OCaml proseminar

PythOnline

A website for comparing client-side and server-side interpretations of python scripts using Skulpt.

servercodetest

Framework for running code questions on a server

thesis-distributed-assertion-checking

Master's thesis about distributed assertion checking (Tezos blockchain)

write-your-python-program