Pinned Repositories
abstract-binding-trees
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
al
Al: a language for teaching algorithms and data structures
arete
Arete is an experimental programming language.
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
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-in-agda
Formalizations of Gradually Typed Languages in Agda
step-indexed-logic
A modal logic for reasoning about step-indexed logical relations
jsiek's Repositories
jsiek/B629-denotational
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
jsiek/abstract-binding-trees
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
jsiek/gradual-typing-in-agda
Formalizations of Gradually Typed Languages in Agda
jsiek/B522-PL-Foundations
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
jsiek/deduce
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
jsiek/featherweight-C
Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
jsiek/denotational_semantics
Denotational semantics based on graph and filter models
jsiek/arete
Arete is an experimental programming language.
jsiek/al
Al: a language for teaching algorithms and data structures
jsiek/step-indexed-logic
A modal logic for reasoning about step-indexed logical relations
jsiek/B505-algorithms-public
Public material for the course B505 Applies Algorithms at Indiana University
jsiek/Compilers-HW
Compilers Homework repo
jsiek/prototypes-in-python
Prototypes of programming languages written in Python.
jsiek/agda-stdlib-doc
jsiek/agda-stdlib
The Agda standard library
jsiek/agda-stdlib-aux
Stuff that is missing from the agda standard library.
jsiek/bootstrap
experiments in bootstrapping a programming language
jsiek/gradual-typing-bib
A bibliography on Gradual Typing
jsiek/ICFP_rehearsal_feedback
Temporary repository to collect feedback.
jsiek/lang-design-impl-verif
jsiek/plfa.github.io
Introduction to programming language theory in Agda
jsiek/wonks.github.io
PL Wonks website