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
  ☆13Updated last year
• banacorn / agda-mode
  agda-mode on Atom
  ☆58Updated 4 years ago
• AndyShiue / Ende-readme
  Ende is a hypothetical programming language.
  ☆23Updated 4 years ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated last year
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 8 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆119Updated 3 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 9 years ago
• dlicata335 / hott-agda
  ☆84Updated 8 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆130Updated last year
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆53Updated 6 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 7 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆170Updated last year
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆66Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• clarus / falso
  A proof of false in Coq.
  ☆99Updated 5 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• ZongzheYuan / HaltingProblem
  The proof of undecidability of halting problem, using the model -- WHILE language.
  ☆21Updated 5 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago
• L-TChen / ModalTypeTheory
  ☆21Updated 4 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated 3 weeks ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago