david-christiansen / itu-thesisLinks
A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
☆20Updated 7 years ago
Alternatives and similar repositories for itu-thesis
Users that are interested in itu-thesis are comparing it to the libraries listed below
Sorting:
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆124Updated last year
- Total Parser Combinators in Agda☆132Updated last month
- Reimplementation of Parsley in Haskell, with improvements☆58Updated last year
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Implementing grep in Agda☆33Updated 4 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Updated 9 years ago
- Where my everyday research happens☆55Updated 3 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆103Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- A small implementation of higher-order unification☆191Updated 8 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 5 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Updated 4 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Proof automation – for Agda, in Agda.☆44Updated 5 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆102Updated last month
- NbE course @ Chalmers☆28Updated 11 months ago
- ☆31Updated 11 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 4 months ago
- Agda programming with holes☆27Updated 4 years ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- Literature review of GHC's Core language, System FC☆67Updated 7 years ago
- apkg - package manager for Agda☆38Updated 4 years ago
- Miller/pattern unification in Agda☆68Updated 11 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 10 months ago