Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for agda idris
agda
x
idris
x
5 search results found
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Ttlite
⭐
108
A SuperCompiler for Martin-Löf's Type Theory
Rekenaar
⭐
21
Idris tactics for (commutative) monoids
Blog
⭐
14
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
Gpif Idris
⭐
14
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Related Searches
Types Agda (76)
Haskell Agda (71)
Types Idris (46)
Agda Type Theory (44)
Idris Dependent Types (36)
Haskell Idris (31)
Emacs Agda (29)
Calculus Agda (29)
Coq Agda (27)
Agda Dependent Types (27)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.