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 last month
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆18Updated last week
• kana-sama / rumilewski
  ☆10Updated 4 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
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆22Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• pamellies / lambda-calculus-and-categories
  A repository for the material of my course on lambda-calculus and categories
  ☆41Updated 4 years ago
• micahcantor / comp-to-assembly-from-scratch-hs
  A toy JS to ARM assembly compiler, in Haskell
  ☆16Updated 2 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 6 months ago
• samsergey / monopig
  Monoidal stack machine
  ☆10Updated 6 years ago
• ninegua / reduxer
  An interactive beta reduction calculator for lambda calculus
  ☆10Updated 6 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• commercialhaskell / stackage-snapshots
  LTS Haskell and Stackage Nightly snapshot configurations (experimental, for pantry)
  ☆15Updated this week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆12Updated last year
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 4 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 2 weeks ago
• haskoin / haskoin-store
  Haskoin Store is a blockchain storage service with a RESTful API
  ☆27Updated last month
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 3 years ago
• VictorTaelin / Formality
  ☆38Updated 3 years ago
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated last year
• serokell / edna
  An open-source tool for data analysis aimed to help researchers with their experiments.
  ☆13Updated last year
• puffnfresh / kosinski
  Compression used in Sonic the Hedgehog
  ☆10Updated 6 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆18Updated 7 months ago