jeanqasaur / dsl-syllabus-fall-2016
The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
☆214Updated 5 years ago
Alternatives and similar repositories for dsl-syllabus-fall-2016:
Users that are interested in dsl-syllabus-fall-2016 are comparing it to the libraries listed below
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- My personal repository of formally verified mathematics.☆295Updated last week
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- Resources for type theory, functional programming, etc.☆316Updated 4 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆214Updated 2 years ago
- Spartan type theory☆262Updated 9 months ago
- Women in Programming Languages and Software Engineering Research☆169Updated 3 months ago
- ☆89Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- The WIP book for CPSC 411☆63Updated last week
- A small and expressive dependently typed language☆129Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 9 months ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- ACT community resources☆468Updated 5 years ago
- ☆228Updated 7 months ago
- A graphical interactive proof assistant designed for education☆166Updated 4 months ago
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- A compiler for functional programs on serialized data☆158Updated this week
- Play Minesweeper by formally proving your moves in Idris☆166Updated 5 months ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- A curated set of links to formal methods involving provable code.☆201Updated 3 years ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- The compiler for Keli☆172Updated 5 years ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- Elsa is a lambda calculus evaluator☆185Updated 9 months ago
- Functional teaching language for use in a discrete mathematics course☆168Updated last month
- Frank compiler☆287Updated 10 months ago