Awesome Open Source

Programming Languages

Search results for coq agda

14 search results found

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

Smalltt ⭐ 475

Demo for high-performance type theory elaboration

Hott Intro ⭐ 169

An introductory course to Homotopy Type Theory

Awesome Provable ⭐ 136

A curated set of links to formal methods involving provable code.

A SuperCompiler for Martin-Löf's Type Theory

Agdarsec ⭐ 103

Total Parser Combinators in Agda

Next 700 Module Systems ⭐ 69

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Towards changing things and see if it proofs

Free Compiler ⭐ 38

A Haskell to Coq compiler that represents effectful programs with the free monad

Isarmathlib ⭐ 16

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Constructingii ⭐ 7

Constructing Inductive-Inductive types in Cubical Type Theory

Related Searches

Ocaml Coq (164)

Types Agda (76)

Haskell Agda (71)

Haskell Coq (63)

Definition Coq (53)

Calculus Coq (50)

Agda Type Theory (43)

Coq Mathcomp (38)

1-14 of 14 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.