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
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆216Updated 2 years ago
- ☆230Updated 8 months ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- My personal repository of formally verified mathematics.☆297Updated last month
- Elsa is a lambda calculus evaluator☆186Updated 3 weeks ago
- Spartan type theory☆263Updated 11 months ago
- Resources for type theory, functional programming, etc.☆318Updated 4 years ago
- Women in Programming Languages and Software Engineering Research☆169Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆292Updated last year
- A curated set of links to formal methods involving provable code.☆202Updated 3 years ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 10 months ago
- Proving leftpad correct two-dozen different ways☆669Updated 3 weeks ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- ☆90Updated 3 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A reference library for constraint-solving with propagators and CDCL.☆305Updated 9 months ago
- ACT community resources☆469Updated 5 years ago
- An incremental approach to compiler construction☆83Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A gently curated list of companies using verification formal methods in industry☆527Updated 2 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆199Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆397Updated 2 years ago
- formally verified category theory library☆263Updated 4 years ago
- Functional teaching language for use in a discrete mathematics course☆168Updated 2 months ago