TDA283-compiler-construction / projectLinks
Material for TDA283 / DIT300 Compiler Construction
☆16Updated 3 months ago
Alternatives and similar repositories for project
Users that are interested in project are comparing it to the libraries listed below
Sorting:
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- Agda programming with holes☆27Updated 4 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 2 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 3 weeks ago
- Type Your Matrices For Great Good☆29Updated 5 years ago
- A place to collect work on dialectica categories.☆26Updated last week
- Simple autograder for Haskell programming assignments☆17Updated 5 months ago
- ☆21Updated 4 years ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Updated 2 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆59Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated 10 months ago
- Cryptographic Constructions in the Type Theory of Agda☆52Updated 10 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Updated 9 months ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Proof automation – for Agda, in Agda.☆44Updated 4 years ago
- Proof assistant based on first-order logic and set theory☆57Updated last week
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆101Updated 10 months ago
- The theory of algebraic graphs formalised in Agda☆90Updated 7 years ago
- Paper and talk☆54Updated 2 years ago
- Linear Logic for Constructive Mathematics, in Agda☆17Updated 6 years ago
- Formal semantics in Agda.☆16Updated 10 years ago
- Scala implementation of ILC, with benchmarks☆28Updated 9 years ago
- My Agda experiments☆12Updated 5 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆62Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- ☆12Updated 6 years ago
- The Penn Locally Nameless Metatheory Library☆75Updated 4 months ago