Alternatives and similar repositories for itu-thesis:

Users that are interested in itu-thesis are comparing it to the libraries listed below

• brunofx86 / LL
  Formalization of Linear Logic
  ☆10Updated 7 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 3 years ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 6 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• frex-project / haskell-frex
  ☆23Updated last year
• nomeata / ghcjs2gh-pages
  Example repository setup that deploys GHCJS programs to GitHub Pages
  ☆24Updated 6 years ago
• ericfinster / higher-alg
  An approach to higher algebra in type theory
  ☆23Updated 4 years ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• bch29 / agda-holes
  Agda programming with holes
  ☆27Updated 4 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 7 years ago
• liamoc / dddp
  Deferring the Details and Deriving Programs
  ☆14Updated 5 years ago
• jespercockx / ataca
  A TACtic library for Agda
  ☆48Updated 7 months ago
• pigworker / EGTBS
  being the introduction to co-de-Bruijn metasyntax
  ☆23Updated 2 years ago
• cau-placc / inversion-plugin
  ☆9Updated 6 months ago
• Daniel-Diaz / haskintex
  Haskell Evaluation inside of LaTeX code.
  ☆22Updated last year
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 8 years ago
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 5 years ago
• gelisam / cabal-rangefinder
  A tool to fill in the version ranges in a cabal file.
  ☆17Updated 9 years ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 5 months ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 8 years ago
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 6 years ago
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• pbl64k / gpif-idris
  Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
  ☆14Updated 8 years ago
• pigworker / Pivotal
  ☆31Updated 10 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 7 months ago
• zilberstein / system-fc-coq
  ☆12Updated 9 years ago