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
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Updated 6 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
• cies / htoml
  TOML file format parser in Haskell
  ☆39Updated 3 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• PJK / haskell-pattern-matching
  Exhaustiveness and redundancy analysis for Haskell pattern matching
  ☆12Updated 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
• ajtulloch / roogle
  Rust API search engine
  ☆54Updated 10 years ago
• gdevanla / pptable
  A Haskell library to pretty print data in a tabular format
  ☆11Updated 7 years ago
• scvalex / daemons
  Daemons in Haskell made fun and easy
  ☆27Updated last year
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 2 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 4 months ago
• ekmett / tagged
  phantom types
  ☆38Updated 3 months 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
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 5 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 8 months ago
• mxswd / data-filepath
  A type safe file path data structure.
  ☆10Updated 8 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆45Updated last year
• deech / LeftPad
  ☆23Updated 7 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• agrafix / hackmanager
  Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.
  ☆12Updated 9 years ago
• singpolyma / wai-session
  Flexible session middleware for WAI
  ☆15Updated 4 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago