Alternatives and similar repositories for SDL2-idris

Users that are interested in SDL2-idris are comparing it to the libraries listed below

• eckart / gl-idris

  View on GitHub
  ☆13Jul 19, 2018Updated 7 years ago
• google / idris-protobuf

  View on GitHub
  A partial implementation of Protocol Buffers in Idris
  ☆32Aug 12, 2017Updated 8 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• stepcut / idrOS

  View on GitHub
  An OS written in Idris (eventually...)
  ☆20Mar 4, 2015Updated 10 years ago
• SimonJF / IdrisNet2

  View on GitHub
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Sep 27, 2016Updated 9 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 9 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• A1kmm / http4idris

  View on GitHub
  An experimental HTTP framework for Idris
  ☆14Mar 4, 2020Updated 5 years ago
• piot / enias

  View on GitHub
  8 bit fantasy console
  ☆10Nov 15, 2021Updated 4 years ago
• tel / alder

  View on GitHub
  Elm Architecture for Scala.js
  ☆11Jul 16, 2016Updated 9 years ago
• edwinb / SDL-idris

  View on GitHub
  SDL bindings package for idris
  ☆47Feb 26, 2020Updated 5 years ago
• hellerve / anima.carp

  View on GitHub
  A simple drawing and animation framework for Carp
  ☆16Apr 29, 2020Updated 5 years ago
• LuxLang / tutorial1

  View on GitHub
  Simple TODO web-app using Vert.x as server
  ☆16Jan 8, 2017Updated 9 years ago
• eraserhd / Idris-json

  View on GitHub
  Formally verified JSON parser
  ☆15Sep 27, 2017Updated 8 years ago
• Trundle / idris-go

  View on GitHub
  A Go backend for Idris
  ☆15Jul 28, 2018Updated 7 years ago
• mandubian / khats

  View on GitHub
  Khats, cats on Higher-Kinded amphets
  ☆15Aug 17, 2016Updated 9 years ago
• alexhumphreys / idrall

  View on GitHub
  Dhall bindings for Idris
  ☆41Aug 14, 2025Updated 6 months ago
• ocaml / oasis2opam

  View on GitHub
  Tool to convert OASIS metadata to OPAM package descriptions
  ☆27Oct 28, 2017Updated 8 years ago
• jmitchell / idris-elixir

  View on GitHub
  Idris backend targeting Elixir (Work in progress)
  ☆18Jan 26, 2017Updated 9 years ago
• bvssvni / rust-idris-fs

  View on GitHub
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Nov 12, 2015Updated 10 years ago
• edwinb / States

  View on GitHub
  State machines in Idris
  ☆37Nov 6, 2016Updated 9 years ago
• thalerjonathan / gloss-idris

  View on GitHub
  A port of the gloss library from Haskell to Idris
  ☆23Jul 9, 2018Updated 7 years ago
• Kungsgeten / netrunner

  View on GitHub
  Create Android: Netrunner decklists in Emacs
  ☆14Sep 10, 2016Updated 9 years ago
• HuwCampbell / idris-lens

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• purescript-contrib / purescript-ace

  View on GitHub
  Purescript bindings for the Ace editor
  ☆19Jan 9, 2023Updated 3 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• KesterTong / idris2048

  View on GitHub
  2048 in Idris
  ☆124Nov 28, 2017Updated 8 years ago
• uwap / idris-http

  View on GitHub
  An HTTP library for idris
  ☆39Dec 26, 2018Updated 7 years ago
• kowainik / idris-patricia

  View on GitHub
  🌋 Idris implementation of patricia tree
  ☆23Nov 6, 2020Updated 5 years ago
• bamboo / idris2dart

  View on GitHub
  The Dart backend for Idris 2.
  ☆48Jul 4, 2021Updated 4 years ago
• emiledgl / flash-window-attention-v2

  View on GitHub
  Triton implementation of Flash Window Attention for Swin Transformer V2
  ☆18Jun 18, 2025Updated 7 months ago
• rbarreiro / idrisjs

  View on GitHub
  Js libraries for idris
  ☆49Feb 2, 2020Updated 6 years ago
• kbertalan / tyttp

  View on GitHub
  ☆23May 10, 2025Updated 9 months ago
• alexarchambault / shapeless-refined-std

  View on GitHub
  Type-level API for standard collections
  ☆33Jun 6, 2016Updated 9 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• deech / LeftPad

  View on GitHub
  ☆23Dec 6, 2017Updated 8 years ago
• timothypratley / tictactoe

  View on GitHub
  Tic Tac Toe Game
  ☆21Dec 5, 2015Updated 10 years ago
• pigworker / Pivotal

  View on GitHub
  ☆31Sep 9, 2014Updated 11 years ago
• andorp / IdrisExtSTGCodegen

  View on GitHub
  ☆26Nov 18, 2022Updated 3 years ago