Alternatives and similar repositories for haskellrustdemo

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

• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Updated 6 years ago
• PJK / haskell-pattern-matching
  Exhaustiveness and redundancy analysis for Haskell pattern matching
  ☆12Updated 7 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 8 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 4 months ago
• cies / htoml
  TOML file format parser in Haskell
  ☆39Updated 3 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 9 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 2 months ago
• ajtulloch / roogle
  Rust API search engine
  ☆54Updated 10 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 5 months ago
• ekmett / rust-lens
  this is not a working lens library
  ☆12Updated 2 years ago
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 2 years ago
• wereHamster / rethinkdb-client-driver
  Haskell client driver for RethinkDB
  ☆19Updated 4 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 9 months ago
• ekmett / concurrent-supply
  A fast globally unique variable supply with a pure API
  ☆19Updated last year
• gdevanla / pptable
  A Haskell library to pretty print data in a tabular format
  ☆11Updated 7 years ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 10 months ago