Alternatives and similar repositories for YUP

Users that are interested in YUP are comparing it to the libraries listed below

• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 7 years ago
• thsutton / cha

  View on GitHub
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22May 13, 2016Updated 9 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 6 years ago
• david-christiansen / epigram1

  View on GitHub
  A version of Epigram 1 that can run with newer GHCs
  ☆55Jul 22, 2017Updated 8 years ago
• ayberkt / sml-system-t

  View on GitHub
  SML implementation of System T from PFPL.
  ☆11Jun 28, 2017Updated 8 years ago
• m0rphism / printcess

  View on GitHub
  Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
  ☆14Jan 26, 2017Updated 9 years ago
• andreasabel / helf

  View on GitHub
  Haskell implementation of the Edinburgh Logical Framework
  ☆32Jan 12, 2026Updated last month
• mietek / formal-logic

  View on GitHub
  TODO
  ☆23Oct 10, 2015Updated 10 years ago
• jonsterling / sml-modernized-algol

  View on GitHub
  Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
  ☆15Jul 21, 2017Updated 8 years ago
• icicle-lang / p-ambiata

  View on GitHub
  The prelude.
  ☆16Apr 3, 2019Updated 6 years ago
• RedPRL / sml-typed-abts

  View on GitHub
  second-order abstract syntax
  ☆31Sep 15, 2021Updated 4 years ago
• langston-barrett / CoverTranslator

  View on GitHub
  A tool for formally verifying Haskell code in Agda
  ☆28Oct 25, 2016Updated 9 years ago
• andreasabel / strong-normalization

  View on GitHub
  Formalizations of strong normalization proofs
  ☆35Jul 8, 2019Updated 6 years ago
• L-TChen / MtacAR

  View on GitHub
  Mtac in Agda
  ☆29May 4, 2021Updated 4 years ago
• phadej / tdigest

  View on GitHub
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆31Jul 3, 2024Updated last year
• khanage / heineken

  View on GitHub
  A general build tool for haskell projects inspired by leiningen
  ☆16Jun 6, 2015Updated 10 years ago
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago
• bobatkey / sott

  View on GitHub
  Simplified Observational Type Theory
  ☆87May 5, 2023Updated 2 years ago
• scmu / foundations-harper

  View on GitHub
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆53Jul 24, 2019Updated 6 years ago
• pigworker / Bi71

  View on GitHub
  being a bidirectional reformulation of Martin-Löf's 1971 type theory
  ☆25Sep 6, 2017Updated 8 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library

  View on GitHub
  The missing tutorial module for the lens library
  ☆83May 11, 2024Updated last year
• thoughtbot / typebot

  View on GitHub
  A slack bot that will fetch type signatures via Hoogle
  ☆21May 11, 2016Updated 9 years ago
• gallais / type-scope-semantics

  View on GitHub
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆23Feb 2, 2019Updated 7 years ago
• ndmitchell / hexml

  View on GitHub
  A bad XML parser
  ☆22Sep 2, 2024Updated last year
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• bartavelle / stateWriter

  View on GitHub
  A RWS like monad without the slow writer stuff
  ☆12Jun 17, 2023Updated 2 years ago
• emacsclub / emacsclub.github.com

  View on GitHub
  ☆15Feb 10, 2015Updated 11 years ago
• yveszhang / ldtyping

  View on GitHub
  ☆12May 22, 2016Updated 9 years ago
• brunofx86 / LL

  View on GitHub
  Formalization of Linear Logic
  ☆11Jun 25, 2017Updated 8 years ago
• archive567 / chart-unit

  View on GitHub
  Unital Charts
  ☆27Feb 17, 2020Updated 5 years ago
• bitonic / tog

  View on GitHub
  ☆26Feb 7, 2017Updated 9 years ago
• JohnReppy / compiling-pattern-guards

  View on GitHub
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Jul 26, 2022Updated 3 years ago
• david-christiansen / pudding-old

  View on GitHub
  A language-integrated proof assistant, for and in Racket
  ☆39Aug 26, 2016Updated 9 years ago
• nunchaku-inria / nunchaku

  View on GitHub
  Model finder for higher-order logic
  ☆50Dec 7, 2025Updated 2 months ago
• bch29 / agda-holes

  View on GitHub
  Agda programming with holes
  ☆28Feb 2, 2021Updated 5 years ago