@zenntenn
github

zenntenn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 3
  • Following 6
  • Registered almost 12 years ago
  • Most used languages
    Idris     50.0 %
    SCSS     25.0 %
    Scheme
         25.0 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 27,507
  • Country Ranking
    Idris     9
    Scheme
         88
    SCSS     234

Top repositories

1

changelingthepodcast

SCSS
2
star
2

Idris-Repl

A self hosted Repl for Idris (Still *very* early stages)
Idris
2
star
3

Dai

An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development
Idris
1
star
4

Idris2-FSharp

An F# backend for Idris
Scheme
1
star