jsiek Goto Github PK

abstract-binding-trees

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

agda-stdlib

The Agda standard library

agda-stdlib-aux

Stuff that is missing from the agda standard library.

agda-stdlib-doc

al

Al: a language for teaching algorithms and data structures

arete

Arete is an experimental programming language.

b505-algorithms-public

Public material for the course B505 Applies Algorithms at Indiana University

b522-pl-foundations

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

b629-denotational

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

bootstrap

experiments in bootstrapping a programming language

compilers-hw

Compilers Homework repo

deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

denotational_semantics

Denotational semantics based on graph and filter models

featherweight-c

Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine

gradual-typing-bib

A bibliography on Gradual Typing

gradual-typing-in-agda

Formalizations of Gradually Typed Languages in Agda

icfp_rehearsal_feedback

Temporary repository to collect feedback.

lang-design-impl-verif

plfa.github.io

Introduction to programming language theory in Agda

prototypes-in-python

Prototypes of programming languages written in Python.

step-indexed-logic

A modal logic for reasoning about step-indexed logical relations

wonks.github.io

PL Wonks website