Alternatives and similar repositories for fift-asm-dsl:

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

• haskoin / haskoin-node
  Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library
  ☆13Updated 3 months ago
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 7 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• input-output-hk / pvss-haskell
  ☆21Updated 7 years ago
• haskoin / haskoin-store
  Haskoin Store is a blockchain storage service with a RESTful API
  ☆27Updated 3 months ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• deepfire / holotype
  An attempt to reimagine knowledge interaction.
  ☆18Updated 4 years ago
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆19Updated 2 months ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 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
  ☆43Updated 2 years ago
• andyarvanitis / idris-golang
  ☆16Updated 10 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 2 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• kana-sama / rumilewski
  ☆10Updated 4 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 9 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated 11 months ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆54Updated 4 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• anton-trunov / csclub-coq-course-spring-2021
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆57Updated 2 years ago
• joelburget / ghcjs-box
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Updated 9 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 2 months ago
• kana-sama / nonsense
  ☆17Updated 4 years ago
• haskoin / secp256k1-haskell
  Haskell bindings for secp256k1 library
  ☆24Updated 3 months ago
• nikita-volkov / deque
  Double-ended queues
  ☆14Updated 2 months ago