jeanqasaur / dsl-syllabus-fall-2016
The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
☆213Updated 5 years ago
Related projects: ⓘ
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 5 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆213Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆328Updated 4 years ago
- Spartan type theory☆250Updated 3 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- My personal repository of formally verified mathematics.☆290Updated 3 months ago
- A Pascal to LLVM compiler in Haskell☆126Updated 4 years ago
- Women in Programming Languages and Software Engineering Research☆161Updated 2 months ago
- ☆219Updated last month
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A curated set of links to formal methods involving provable code.☆191Updated 2 years ago
- The Makam Metalanguage☆187Updated last year
- My slides and compilation of resources.☆146Updated 2 weeks ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 5 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Pointless: a scripting language for learning and fun☆121Updated 3 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 3 years ago
- The compiler for Keli☆171Updated 5 years ago
- An introductory course to Homotopy Type Theory☆358Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆385Updated 2 years ago
- A gently curated list of companies using verification formal methods in industry☆486Updated 2 months ago
- A graphical interactive proof assistant designed for education☆162Updated 2 weeks ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- ACT community resources☆463Updated 4 years ago
- Elsa is a lambda calculus evaluator☆181Updated 3 months ago
- A static web application to explore and animate a TLA+ state graph.☆196Updated 10 months ago
- Performance comparison of parallel ray tracing in functional programming languages☆303Updated last year
- 1ML prototype interpreter☆271Updated 4 years ago
- Hazel, a live functional programming environment with typed holes☆744Updated this week