proglang Goto Github PK

algst

Parser and Typechecker for Algebraic Session Types

assignment-final-stub

bbse

Lecture slides "Blockchain-based Systems Engineering"

choice-of-bounds

metatheory for choice-of-bounds types

contract-simplification

Static Contract Simplification. A PLT Redex model.

decentjs

Transaction-based Sandbox for JavaScript

definitional

Mechanized Type Soundness Proofs using Definitional Interpreters

docker-php-nginx

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

dts-generate-results

functionalprogramming

Support repository for the functional programming lecture (Haskell)

haskellkurs2017

support repository for the Haskell course at summercampus 2017

ilias-servercodetest

Ilias plugin for severcodetest

incorrectness

Incorrectness type system

informatik-iii-theoretische-informatik

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

javacourse

javatx

javert2.0

JaVerT2.0 - Compositional Symbolic Execution for JavaScript

jgs

Gradual Java

jscontest2

Efficient Access Analysis Using JavaScript Proxies

kafkajs-getting-started

Simple getting started example for KafkaJS

ldgv

Label dependent dependent session types

ldlc

label dependent lambda calculus

llc

Linear Lambda Calculus

ltl

master-mind

monopoly

Example development for lecture

pam

PaM (Patientenmonitor)

pl-experiments

Mainly for Affe

playground

Playground for example code

plfa.github.io

Introduction to programming language theory in Agda