david-christiansen / itu-thesis
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:
- ☆31Updated 10 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 6 years ago
- Reimplementation of Parsley in Haskell, with improvements☆52Updated last year
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- ☆9Updated 6 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- ☆10Updated 4 years ago
- Proposed changes to Haskell Core Libraries☆19Updated 4 years ago
- An approach to higher algebra in type theory☆23Updated 5 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 4 years ago
- ☆20Updated 4 years ago
- Where my everyday research happens☆52Updated 2 weeks ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Extremely simple effect system for Haskell☆7Updated 4 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆37Updated 4 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Updated 9 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Updated 9 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 11 months ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- Haskell Evaluation inside of LaTeX code.☆22Updated last year
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago