Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq calculus
calculus
x
coq
x
19 search results found
Dot
⭐
131
formalization of the Dependent Object Types (DOT) calculus
Corn
⭐
108
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Minidot
⭐
62
Dependent Object Types (DOT), bottom up
Dot Calculus
⭐
59
Formalization of the Dependent Object Types (DOT) calculus
Lambda Calculus
⭐
51
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Coq In Coq
⭐
49
A formalisation of the Calculus of Constructions
Calc Comp
⭐
27
Coq proofs for the paper "Calculating Correct Compilers"
Plugin_tutorials
⭐
23
A collection of small projects to illustrate how to write plugins for Coq
Coq Library Complexity
⭐
18
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Coqfj
⭐
13
A mechanized proof of type safety for Featherweight Java using Coq
Intensional Computation
⭐
13
translations of a lambda abstraction to combinations of operators
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Systemfr
⭐
8
System FR: Formalized Foundations for Stainless
Math Formalizations
⭐
8
Formalization of some elementary mathematical theories in Coq
Pi Calc
⭐
8
Pi-calculus in Coq
L Lang Parser Rs
⭐
7
A parser for a toy strict untyped λ-calculus language called L-lang.
Tm Verification Framework
⭐
6
Static version of https://github.com/uds-psl/coq-library-undecidabil for paper "Verified Programming of Turing Machines in Coq"
Ecoop2020
⭐
5
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Related Searches
Lambda Functions Calculus (377)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
Ocaml Coq (164)
Types Coq (81)
Types Calculus (78)
Haskell Coq (63)
Definition Coq (53)
Reduction Calculus (51)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.