Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming language idris
idris
x
programming-language
x
4 search results found
Ttlite
⭐
108
A SuperCompiler for Martin-Löf's Type Theory
Idris Clean
⭐
11
A priliminary backend for Idris that compiles to Clean.
Idris Elm
⭐
9
The Elm architecture ported to Idris Programming language
Qimaera
⭐
9
Idris libraries for type safe (variational) quantum programming
Related Searches
C Plus Plus Programming Language (830)
Python Programming Language (779)
C Programming Language (667)
Javascript Programming Language (590)
Java Programming Language (544)
Programming Language Types (161)
Programming Language Repl (123)
Scala Programming Language (91)
Types Idris (46)
Idris Dependent Types (36)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.