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 Projects → exercism → Idris

exercism / Idris

Licence: mit
Exercism exercises in Idris.

Labels

exercism-track

Projects that are alternatives of or similar to Idris

babashka
Exercism exercises in Babashka.
Stars: ✭ 12 (-52%)
Mutual labels:  exercism-track
pharo-smalltalk
exercism.org/tracks/pharo-smalltalk
Stars: ✭ 24 (-4%)
Mutual labels:  exercism-track
Rust
Exercism exercises in Rust.
Stars: ✭ 651 (+2504%)
Mutual labels:  exercism-track
nim
Exercism exercises in Nim.
Stars: ✭ 43 (+72%)
Mutual labels:  exercism-track
groovy
Exercism exercises in Groovy.
Stars: ✭ 18 (-28%)
Mutual labels:  exercism-track
Ruby
Exercism exercises in Ruby.
Stars: ✭ 381 (+1424%)
Mutual labels:  exercism-track
emacs-lisp
Exercism exercises in Emacs Lisp.
Stars: ✭ 40 (+60%)
Mutual labels:  exercism-track
Python
Exercism exercises in Python.
Stars: ✭ 922 (+3588%)
Mutual labels:  exercism-track
perl5
Exercism exercises in Perl 5.
Stars: ✭ 25 (+0%)
Mutual labels:  exercism-track
Go
Exercism exercises in Go.
Stars: ✭ 547 (+2088%)
Mutual labels:  exercism-track
coq
Exercism exercises in Coq.
Stars: ✭ 15 (-40%)
Mutual labels:  exercism-track
common-lisp
Exercism exercises in Common Lisp.
Stars: ✭ 65 (+160%)
Mutual labels:  exercism-track
Java
Exercism exercises in Java.
Stars: ✭ 393 (+1472%)
Mutual labels:  exercism-track
plsql
Exercism exercises in PL/SQL.
Stars: ✭ 22 (-12%)
Mutual labels:  exercism-track
Lfe
Exercism exercises in Lisp Flavoured Erlang (LFE).
Stars: ✭ 17 (-32%)
Mutual labels:  exercism-track
x86-64-assembly
Exercism exercises in x86-64 Assembly.
Stars: ✭ 19 (-24%)
Mutual labels:  exercism-track
Haskell
Exercism exercises in Haskell.
Stars: ✭ 351 (+1304%)
Mutual labels:  exercism-track
Delphi
Exercism exercises in Delphi Pascal.
Stars: ✭ 24 (-4%)
Mutual labels:  exercism-track
Prolog
Exercism exercises in Prolog.
Stars: ✭ 18 (-28%)
Mutual labels:  exercism-track
Elixir
Exercism exercises in Elixir.
Stars: ✭ 400 (+1500%)
Mutual labels:  exercism-track
View All Similar Projects ➔

Exercism Idris Track

Exercism problems in Idris.

TODO

Document how to contribute to the Idris track.

Contributing Guide

Please see the contributing guide

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].