Alternatives and similar repositories for BYOHC-Workshop:

Users that are interested in BYOHC-Workshop are comparing it to the libraries listed below

• scmlab / gcl
  backend of Guabao
  ☆12Updated 7 months ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated 9 months ago
• AndyShiue / Ende-readme
  Ende is a hypothetical programming language.
  ☆23Updated 4 years ago
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 8 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago
• banacorn / Hakaru-FLOLAC16
  Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
  ☆16Updated 8 years ago
• banacorn / agda-mode
  agda-mode on Atom
  ☆58Updated 4 years ago
• L-TChen / ModalTypeTheory
  ☆21Updated 3 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆93Updated 7 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 6 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆69Updated 6 years ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 10 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆50Updated 3 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 5 months ago
• hkuplg / fcore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
  ☆45Updated 9 years ago
• tsung-ju / SystemF
  An Agda formalization of System F and the Brown-Palsberg self-interpreter
  ☆24Updated 4 years ago
• ZongzheYuan / HaltingProblem
  The proof of undecidability of halting problem, using the model -- WHILE language.
  ☆20Updated 4 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• xnning / TypeInfer
  Type inference for 'type level computation one step at a time'
  ☆12Updated 7 years ago
• gallais / aGdaREP
  Implementing grep in Agda
  ☆32Updated 4 years ago
• haskellari / tree-diff
  Diffing of (expression) trees.
  ☆78Updated 3 months ago
• AndrasKovacs / stlc-nbe
  Correctness of normalization-by-evaluation for STLC
  ☆22Updated 5 years ago
• byorgey / species
  ☆17Updated last year
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆26Updated 10 months ago
• DSLsofMath / FLABloM
  Functional Linear Algebra with Block Matrices
  ☆11Updated 3 years ago