Alternatives and similar repositories for toy-wasm-symbexp

Users that are interested in toy-wasm-symbexp are comparing it to the libraries listed below

• ocramz / thih

  View on GitHub
  typing haskell in haskell
  ☆18Sep 22, 2022Updated 3 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• oskar2517 / microhaskell

  View on GitHub
  Interpreter for a small subset of the Haskell programming language
  ☆16Dec 11, 2025Updated 2 months ago
• xran-deex / ats-http

  View on GitHub
  An epoll-based HTTP library for ATS2
  ☆14Dec 27, 2022Updated 3 years ago
• sdroege / mandelbrot

  View on GitHub
  GTK/Rust based viewer for the Mandelbrot set
  ☆13Nov 13, 2025Updated 3 months ago
• sjakobi / awesome-haskell-tutorial-modules

  View on GitHub
  A curated list of awesome Haskell tutorial modules
  ☆13Nov 9, 2025Updated 3 months ago
• alexhumphreys / hello-idris2

  View on GitHub
  A template for idris projects
  ☆11Jun 27, 2021Updated 4 years ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆13Oct 23, 2021Updated 4 years ago
• juhp / cabal-rpm

  View on GitHub
  Haskell Cabal RPM packaging tool
  ☆26Feb 23, 2025Updated 11 months ago
• dwwmmn / alloy-mode

  View on GitHub
  Emacs major mode for Alloy
  ☆13Jul 14, 2018Updated 7 years ago
• bgamari / attoparsec

  View on GitHub
  A fast Haskell library for parsing ByteStrings
  ☆10Nov 19, 2021Updated 4 years ago
• hslua / hslua-examples

  View on GitHub
  HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.
  ☆13Jun 8, 2021Updated 4 years ago
• wh5a / thih

  View on GitHub
  Typing Haskell in Haskell
  ☆15Apr 12, 2010Updated 15 years ago
• XiaoXiaoGuaiXiaShi / Container-security-papers

  View on GitHub
  近年来容器安全相关论文收集整理
  ☆15May 26, 2023Updated 2 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos

  View on GitHub
  ☆15Dec 20, 2021Updated 4 years ago
• clash-lang / ghc-typelits-knownnat

  View on GitHub
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Feb 10, 2026Updated last week
• gvolpe / postgresql-resilient

  View on GitHub
  Automatic re-connection support for PostgreSQL.
  ☆15Aug 12, 2021Updated 4 years ago
• purescript-node / purescript-node-process

  View on GitHub
  Access the global Node.js process object
  ☆16Jul 26, 2023Updated 2 years ago
• timjs / idris-clean

  View on GitHub
  A priliminary backend for Idris that compiles to Clean.
  ☆15Apr 3, 2017Updated 8 years ago
• archambaultv / sexpresso

  View on GitHub
  Flexible Haskell library for parsing and printing S-Expressions
  ☆21Oct 30, 2024Updated last year
• sordina / crashkell

  View on GitHub
  Learn Haskell by Crashing
  ☆17Sep 8, 2019Updated 6 years ago
• Systems-ShiftLab / pmfuzz

  View on GitHub
  A testcase generation tool for Persistent Memory Programs.
  ☆15Jul 19, 2021Updated 4 years ago
• hadronized / wavefront

  View on GitHub
  Haskell Wavefront OBJ loader library
  ☆20Dec 23, 2023Updated 2 years ago
• kolmodin / herl

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• clash-lang / ghc-typelits-extra

  View on GitHub
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆18Jan 16, 2026Updated last month
• uhc / uhc

  View on GitHub
  Utrecht Haskell Compiler
  ☆42Apr 2, 2012Updated 13 years ago
• h0li3 / mpengine_diskus

  View on GitHub
  参考taviso的代码逆向一下mpengine.dll
  ☆20Jun 30, 2022Updated 3 years ago
• neu-se / CONFETTI

  View on GitHub
  ☆22Sep 28, 2022Updated 3 years ago
• nikita-volkov / base-prelude

  View on GitHub
  The most complete prelude formed only from the "base" package
  ☆29Oct 11, 2023Updated 2 years ago
• NicolasT / troupe

  View on GitHub
  Haskell Actors
  ☆26Sep 5, 2023Updated 2 years ago
• msakai / data-interval

  View on GitHub
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆22Feb 3, 2026Updated last week
• kowainik / trial

  View on GitHub
  ⚖️ Trial Data Type
  ☆21Jun 13, 2025Updated 8 months ago
• andrewthad / packed

  View on GitHub
  Unpinned byte arrays in GHC haskell
  ☆22Jan 8, 2019Updated 7 years ago
• ieQu1 / system_monitor

  View on GitHub
  "htop" for erlang / elixir processes
  ☆16Apr 23, 2025Updated 9 months ago
• mtolly / conduit-audio

  View on GitHub
  Use conduit to process/manipulate/convert audio
  ☆18Jan 16, 2020Updated 6 years ago
• JordanMartinez / purescript-veither

  View on GitHub
  A Variant that functions like Either but is extensible
  ☆19Sep 11, 2021Updated 4 years ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• faulhornlabs / csip

  View on GitHub
  ☆24Dec 15, 2025Updated 2 months ago
• larsjarlvik / dungeon-crawler

  View on GitHub
  A cross platform 3D dungeon crawler RPG.
  ☆19Feb 6, 2026Updated last week