buzden / deptycheck

Related projects ⓘ

Alternatives and complementary repositories for deptycheck

• coq-community / fav-ssr
  Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
  ☆45Updated this week
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆50Updated 4 years ago
• anton-trunov / csclub-coq-course-spring-2021
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆56Updated last year
• sequents / code
  Proof theory seminar
  ☆31Updated 3 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆57Updated last year
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆49Updated 8 months ago
• MarcelineVQ / idris2-curl
  libcurl bindings for idris2
  ☆14Updated 3 years ago
• stefan-hoeck / idris2-hedgehog
  An Idris port of the Haskell Hedghog library
  ☆32Updated last month
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆35Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆55Updated last year
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 3 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• klapaucius / vector-hashtables
  ☆33Updated 6 months ago
• shapr / kudzu
  coverage driven random testing framework
  ☆21Updated 2 weeks ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆60Updated 2 years ago
• frex-project / idris-frex
  ☆47Updated last month
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆60Updated last year
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆26Updated 3 years ago
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated last year
• kasiaMarek / TyRE
  ☆24Updated 9 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆19Updated 3 months ago
• valis / DT2018
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Updated 5 years ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated 2 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆42Updated 2 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆76Updated 7 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 5 months ago