Alternatives and similar repositories for IdrisSqlite

Users that are interested in IdrisSqlite are comparing it to the libraries listed below

• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• uwap / idris-http

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

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 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
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• rbarreiro / idrisjs

  View on GitHub
  Js libraries for idris
  ☆49Feb 2, 2020Updated 6 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆82Jun 20, 2018Updated 7 years ago
• jfdm / idris-containers

  View on GitHub
  Various data structures for use in the Idris Language.
  ☆94May 22, 2020Updated 5 years ago
• stepcut / idrOS

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

  View on GitHub
  An arrowized FRP library for Idris with static safety guarantees.
  ☆16Jun 6, 2018Updated 7 years ago
• timjb / quantities

  View on GitHub
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆164Jan 28, 2019Updated 7 years ago
• bamboo / idris-cil

  View on GitHub
  A Common Intermediate Language backend for Idris 1
  ☆134Oct 29, 2018Updated 7 years ago
• edwinb / States

  View on GitHub
  State machines in Idris
  ☆37Nov 6, 2016Updated 9 years ago
• ToJans / idris101

  View on GitHub
  Learning project by a group of people interested in learning the Idris language
  ☆51Feb 18, 2015Updated 10 years ago
• edwinb / WS-idr

  View on GitHub
  Yes, it is what you think it is
  ☆33Jan 20, 2016Updated 10 years ago
• puffnfresh / bam-idris-blog

  View on GitHub
  Static blog generator in Idris.
  ☆40Feb 17, 2015Updated 11 years ago
• JakobBruenker / curses-idris

  View on GitHub
  Curses bindings package for Idris
  ☆13Jan 4, 2019Updated 7 years ago
• idris-hackers / idris-cph-exercises

  View on GitHub
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Sep 10, 2015Updated 10 years ago
• melted / get-idris

  View on GitHub
  Setting up an Idris dev environment on Windows
  ☆16Dec 8, 2019Updated 6 years ago
• evancz / task-tutorial

  View on GitHub
  Friendly functions for getting started with tasks
  ☆11Nov 18, 2015Updated 10 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• idris-hackers / IdrisScript

  View on GitHub
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆94Oct 7, 2018Updated 7 years ago
• david-christiansen / idris-type-providers

  View on GitHub
  Type provider library for Idris
  ☆95Dec 21, 2017Updated 8 years ago
• fieldstrength / probability

  View on GitHub
  Probabilistic computation in Idris
  ☆33Jul 2, 2019Updated 6 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• deech / lambdaconf-shen-talk

  View on GitHub
  ☆15May 28, 2016Updated 9 years ago
• bamboo / IdrisUnityPlayground

  View on GitHub
  Experiments in Idris / Unity integration.
  ☆49Sep 26, 2016Updated 9 years ago
• paf31 / purescript-smash

  View on GitHub
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Aug 16, 2020Updated 5 years ago
• google / idris-protobuf

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

  View on GitHub
  A simple XML module for Idris.
  ☆13May 22, 2020Updated 5 years ago
• jwiegley / haskell-to-c

  View on GitHub
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Jun 22, 2017Updated 8 years ago
• eckart / gl-idris

  View on GitHub
  ☆13Jul 19, 2018Updated 7 years ago
• gonzaw / extensible-records

  View on GitHub
  Extensible records for Idris
  ☆25Jun 13, 2021Updated 4 years ago
• Trundle / idris-go

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

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 10 years ago