TDA283-compiler-construction / projectLinks
Material for TDA283 / DIT300 Compiler Construction
☆17Updated 5 months ago
Alternatives and similar repositories for project
Users that are interested in project are comparing it to the libraries listed below
Sorting:
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆68Updated last year
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Updated 11 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆102Updated 2 months ago
- SPLV20 course notes☆113Updated 2 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated last month
- Lecture material for DeepSpec Summer School 2017☆89Updated 4 years ago
- Formalization of Linear Logic in Coq☆17Updated 6 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆62Updated last year
- Simple autograder for Haskell programming assignments☆17Updated 8 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Proof assistant based on first-order logic and set theory☆63Updated last week
- The Penn Locally Nameless Metatheory Library☆76Updated 6 months ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- A place to collect work on dialectica categories.☆28Updated last month
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated last year
- PL conference deadline countdowns☆62Updated last month
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- A monadic library for symbolic evaluation☆69Updated 3 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Programming library for Agda☆133Updated last year
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆63Updated last year
- Reimplementation of Parsley in Haskell, with improvements☆59Updated last year
- Agda formalisation of second-order abstract syntax☆55Updated 3 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆72Updated 6 years ago
- ☆26Updated 2 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- Dependent Object Types (DOT), bottom up☆88Updated 3 years ago
- Official repository of the Autosubst 2 project.☆24Updated 2 years ago