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
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• cies / htoml
  TOML file format parser in Haskell
  ☆39Updated 3 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• PJK / haskell-pattern-matching
  Exhaustiveness and redundancy analysis for Haskell pattern matching
  ☆12Updated 7 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Updated 6 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
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• Epitrochoid / uinitd
  WM independent launcher for scripts modeled after systemd and connman.
  ☆12Updated 10 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 9 years ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 8 years ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 5 years ago
• gdevanla / pptable
  A Haskell library to pretty print data in a tabular format
  ☆11Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 3 months ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆76Updated 9 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• trskop / overloaded-records
  Overloaded Record Fields implementation based on GHC prototypes.
  ☆13Updated 8 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 4 months ago