eckart/SDL2-idris eckart/SDL2-idris

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language Idris
  • Created over 9 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eckart/SDL2-idris
github

eckart

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SDL2 Bindings for the Idris programming language

More Repositories

1

gl-idris

Idris
13
star
2

cairo-idris

Idris Bindings for libcairo
Idris
6
star
3

idris-tutorial

A tutorial to explain Idris to myself
Idris
3
star
4

glfw-idris

GLFW bindings for Idris
Idris
3
star