buzden / deptycheck

Related projects ⓘ

Alternatives and complementary repositories for deptycheck

• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆50Updated 4 years ago
• coq-community / fav-ssr
  Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
  ☆45Updated last month
• sequents / code
  Proof theory seminar
  ☆31Updated 3 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
• CatTheoryByExample / book
  The category theory by example book
  ☆57Updated last year
• MarcelineVQ / idris2-curl
  libcurl bindings for idris2
  ☆14Updated 3 years ago
• frex-project / idris-frex
  ☆46Updated last month
• stefan-hoeck / idris2-hedgehog
  An Idris port of the Haskell Hedghog library
  ☆32Updated 3 weeks 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
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 5 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated 11 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆54Updated last year
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated last year
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆19Updated 3 months ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆35Updated 4 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆41Updated this week
• ruHaskell-learn / lhx
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated 2 years 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
• andorp / IdrisExtSTGCodegen
  ☆24Updated last year
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆74Updated 6 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆60Updated 2 years ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆106Updated last year
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• goosedb / Monalog
  Terminal logs observer
  ☆16Updated last week
• goldfirere / video-resources
  Resources to look at in concert with my Haskell videos
  ☆15Updated 2 years ago
• pigworker / TypesWhoSayNi
  being the materials for a paper I have in mind to write about the bidirectional discipline
  ☆45Updated 3 months ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆76Updated 6 months ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago