Alternatives and similar repositories for fift-asm-dsl

Users that are interested in fift-asm-dsl are comparing it to the libraries listed below

• serokell / haskell-crypto
  Haskell cryptography done right
  ☆18Updated 2 months ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• btq-ag / keelung
  The Keelung Language
  ☆51Updated 9 months ago
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆19Updated 5 months ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• bitnomial / bitcoind-rpc
  A cilent for the bitcoind JSON-RPC interface
  ☆12Updated 5 months ago
• jprupp / haskoin-node
  Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library
  ☆13Updated last month
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• andyarvanitis / idris-golang
  ☆16Updated 10 years ago
• input-output-hk / pvss-haskell
  ☆21Updated 7 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• portnov / ghcprofview-hs
  GHC .prof files viewer
  ☆19Updated 2 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆44Updated 3 years ago
• kana-sama / rumilewski
  ☆9Updated 5 years ago
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 7 years ago
• jprupp / secp256k1-haskell
  Haskell bindings for secp256k1 library
  ☆24Updated last month
• solatis / haskell-bitcoin-script
  Bitcoin script compilation, manipulation and decompilation
  ☆14Updated 4 years ago
• joelburget / ghcjs-box
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Updated 10 years ago
• klapaucius / fphistoryru
  ☆14Updated 3 weeks ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆46Updated 5 years ago
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• nikita-volkov / deque
  Double-ended queues
  ☆14Updated 4 months ago
• jprupp / haskoin-store
  Haskoin Store is a blockchain storage service with a RESTful API
  ☆27Updated last month
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated last year
• fission-codes / ipfs-haskell
  IPFS wrapper for Haskell
  ☆43Updated 2 years ago