Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for bindings idris
bindings
x
idris
x
8 search results found
Idris Ecosystem
⭐
38
Idrissqlite
⭐
33
Effectful bindings for SQLite (forked from IdrisWeb)
Idris2 Clibs
⭐
14
Idris 2 bindings to various C libraries
Idris Webgl
⭐
14
WebGL bindings for Idris.
Sdl2 Idris
⭐
10
SDL2 Bindings for the Idris programming language
Idris2 Curl
⭐
9
libcurl bindings for idris2
Cairo Idris
⭐
6
Idris Bindings for libcairo
Idris Sdl2
⭐
5
SDL2 bindings for my game in Idris
Related Searches
Python Bindings (2,342)
Javascript Bindings (2,192)
C Plus Plus Bindings (1,771)
C Bindings (1,491)
Java Bindings (1,256)
Rust Bindings (1,187)
C Sharp Bindings (1,052)
Golang Bindings (1,015)
Types Bindings (201)
Types Idris (46)
1-8 of 8 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.