awesome-idris (25) by joaomilho

𝛌 Awesome Idris resources

created at July 30, 2017, 1:03 p.m.

sunglassesIdris

24 +0

364 -1

20 +0

GitHub
Most stars Fewest stars Most forks Fewest forks Most watchers Fewest watchers Recently created Least recently created Recently updated Least recently updated Most repositories Fewest repositories
All languages 637 Unknown languages 521 JavaScript 19 Shell 17 HTML 14 Python 14 Ruby 11 Makefile 3 Markdown 3 PHP 3 R 3 CSS 2 Go 2 Rust 2 Swift 2 TeX 2 C# 1 Clojure 1 Crystal 1 D 1 Dart 1 Elixir 1 Groovy 1 Haskell 1 Haxe 1 Idris 1 Julia 1 Just 1 Kotlin 1 Pascal 1 Perl 1 PowerShell 1 Svelte 1 TypeScript 1 Vim script 1