Alternatives and similar repositories for idris-bytes:

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

• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• kawu / sgd
  Stochastic gradient descent Haskell library
  ☆12Updated 7 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆47Updated last year
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated 5 months ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• Gabriella439 / sig
  Blazing fast signature detection
  ☆10Updated 2 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 9 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago