GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Programming Languages → Idris

Top 72 Idris open source projects

51. Idris2Noobs
Idris2 para falantes de portugues.
✭ 36
Idris
52. idris2-tutorial
No description, website, or topics provided.
✭ 113
IdrisVim Script
53. IdrisApp
An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
✭ 22
Idris
54. gloss-idris
A port of the gloss library from Haskell to Idris
✭ 22
IdrishaskellcMakefile
55. idris2dart
The Dart backend for Idris 2.
✭ 46
IdrisMakefiledartflutteridris2idris2-ecosystem
56. tm-proposer-idris
Formalization of Tendermint proposer election properties
✭ 15
IdrisMakefileblockchaintendermintformal-verificationdlt
57. collie
Command line interface library in Idris
✭ 25
IdrisMakefile
58. IdrisPipes
A library for composable and effectful production, transformation and consumption of streams of data in Idris
✭ 37
IdrisNixMakefileshell
59. idris-xml
A simple XML module for Idris.
✭ 13
IdrisMakefile
60. why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.
✭ 59
AgdahaskellIdris
61. oplss-notes-2017
handouts and notes from the 2017 edition of the summer school
✭ 38
racketIdris
62. Idris2GL
A Graphics Library for Idris 2.
✭ 61
IdriscMakefile
63. bam-idris-blog
Static blog generator in Idris.
✭ 39
IdrisCSSNix
64. curses-idris
Curses bindings package for Idris
✭ 13
IdriscMakefile
65. idris-graphql
Idris GraphQL
✭ 16
Idrisjavascriptgraphql
66. Verified
A collection of proofs for some idris class instances - NOT MAINTAINED
✭ 18
Idris
67. idris2-sop
Idris port of Haskell's sop-core library
✭ 32
Idris
68. IdrisUnityPlayground
Experiments in Idris / Unity integration.
✭ 50
IdrisC#playgroundunity
69. bibdris
BibTeX database management in Idris
✭ 18
Idris
70. idris2-tls
A portable idris2 implementation of TLS
✭ 25
Idristlscryptographytls13idris2idris2-ecosystem
71. Idris2-Lua
Lua backend for Idris 2
✭ 24
IdrisluaMakefilecshellbackendidris2
72. idris-dict
A Dict k v in Idris
✭ 15
Idris
51-72 of 72 Idris projects
‹ 
previous