Alternatives and similar repositories for suffixtree

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

• haskell-works / hw-rankselect
  ☆18Updated 6 months ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 9 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆21Updated 4 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆95Updated 8 years ago
• ekmett / succinct-binary
  Succinct binary serialization
  ☆15Updated 7 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 5 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆18Updated 8 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 10 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 6 years ago
• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆48Updated 2 years ago
• GaloisInc / halfs
  The Haskell File System: A file system implementation in Haskell
  ☆38Updated 10 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Updated 9 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆34Updated last week
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 7 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 13 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 10 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Updated 11 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆50Updated 12 years ago
• kseo / poly
  A simple ML dialect
  ☆11Updated 9 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 8 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 7 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆13Updated 9 years ago