edwinb/SDL-idris

SDL bindings package for idris

Idris

31 commits

updated Feb 26, 2020

See the code

README

SDL-idris

SDL bindings package for idris

Contributors

edwinb

29 commits

LeifW

1 commits

tpsinnem

1 commits

Similar repos

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

same org

libsdl-org/SDL

Simple DirectMedia Layer

16,633

ECburx/Idris2GL

A Graphics Library for Idris 2.

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

195

dbuenzli/tsdl

Thin bindings to SDL for OCaml

115

haskell-opengl/GLUT

Haskell bindings to GLUT

haskell-game/sdl2

Haskell bindings to the SDL2 library

378

haskell-opengl/OpenGL

Haskell bindings to OpenGL

154

Languages

Idris

63.6%

33.5%

C++

2.6%

edwinb/SDL-idris

SDL bindings package for idris

Idris

31 commits

updated Feb 26, 2020

See the code

README

SDL-idris

SDL bindings package for idris

Similar repos

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

same org

libsdl-org/SDL

Simple DirectMedia Layer

16,633

ECburx/Idris2GL

A Graphics Library for Idris 2.

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

195

dbuenzli/tsdl

Thin bindings to SDL for OCaml

115

haskell-opengl/GLUT

Haskell bindings to GLUT

haskell-game/sdl2

Haskell bindings to the SDL2 library

378

haskell-opengl/OpenGL

Haskell bindings to OpenGL

154

Contributors

edwinb

29 commits

LeifW

1 commits

tpsinnem

1 commits

Languages

Idris

63.6%

33.5%

C++

2.6%