Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ghc coq
coq
x
ghc
x
7 search results found
Smalltt
⭐
475
Demo for high-performance type theory elaboration
Hs To Coq
⭐
281
Convert Haskell source code to Coq source code
Logitext
⭐
129
Beautiful, interactive visualizations of logical inference
Lambdajs
⭐
86
Semantics and tools for JavaScript
Hs To Coq
⭐
69
Convert Haskell source code to Coq source code.
Normalization Bench
⭐
36
Lambda normalization and conversion checking benchmarks for various implementations
System Fc Coq
⭐
6
Related Searches
Haskell Ghc (1,282)
Ocaml Coq (164)
Types Ghc (92)
Stack Ghc (83)
Types Coq (81)
Shell Ghc (80)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
Coq Mathcomp (38)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
