Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for translation coq
coq
x
translation
x
6 search results found
Sf Zh
⭐
704
《软件基础》中译版 Software Foundations Chinese Translation
Paramcoq
⭐
44
Coq plugin for parametricity [maintainer=@proux01]
Intensional Computation
⭐
13
translations of a lambda abstraction to combinations of operators
Coq Forcing
⭐
8
A plugin for Coq that implements the call-by-name forcing translation
Coq Forcing
⭐
6
Tentative implementation of call-by-name forcing in Coq
Coq Effects
⭐
6
A program translation implementing self-algebraic effects in Coq.
Paramcoq Iff
⭐
6
Exceptional Tt
⭐
5
A Coq plugin that implements exceptions in Coq
Related Searches
Python Translation (2,324)
Javascript Translation (2,263)
Php Translation (1,668)
Language Translation (1,637)
Translation Translate (1,526)
Translation I18n (1,285)
Html Translation (627)
Translation Chinese (443)
Ocaml Coq (164)
Types Coq (81)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.