Awesome Open Source

Programming Languages

Search results for coq dependent types

dependent-types x

22 search results found

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Magmide ⭐ 778

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Coq Equations ⭐ 206

A function definition package for Coq

Coqhammer ⭐ 194

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

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

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Mindless Coding ⭐ 104

Mindless, verified (erasably) coding using dependent types

Coq_jupyter ⭐ 89

Jupyter kernel for Coq

Corespec ⭐ 64

A Specification for Dependent Types in Haskell (Core)

Towards changing things and see if it proofs

Pumpkin Pi ⭐ 49

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

Howtoproveacompiler ⭐ 32

Writeup that goes along with this:

Fm Notes ⭐ 19

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Mindless Coding Phase2 ⭐ 18

Mindless, verified (erasably) coding using dependent types, phase 2

Coq Guarded Computational Type Theory ⭐ 17

Howtoprovefullabstraction ⭐ 16

Writeup that goes along with this:

dependently-typed lisp with flexible compiler backends

Coq Skeleton ⭐ 8

A simple skeleton for Coq projects

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

A style guide for Coq

Misc playground and random stuff

Certified Relational to Imperative

Related Searches

Ocaml Coq (163)

Haskell Coq (63)

Haskell Dependent Types (62)

Coq Definition (53)

Calculus Coq (50)

Coq Mathcomp (38)

Programming Language Dependent Types (36)

1-22 of 22 search results

Privacy | About | Terms | Follow Us On Twitter

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