Alternatives and similar repositories for Toody

Users that are interested in Toody are comparing it to the libraries listed below

• Mesabloo / jellyvm

  View on GitHub
  A VM written following the Linear Abstract Machine architecture
  ☆22Oct 1, 2019Updated 6 years ago
• felko / linear-algebra

  View on GitHub
  Linear algebra formalization in Agda
  ☆16Nov 28, 2019Updated 6 years ago
• carlohamalainen / docker-ghcide-neovim

  View on GitHub
  Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.
  ☆11May 4, 2020Updated 5 years ago
• evincarofautumn / Ward

  View on GitHub
  A static analysis tool for C.
  ☆29Oct 29, 2019Updated 6 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• seagreen / llvm-in-haskell

  View on GitHub
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Apr 13, 2019Updated 6 years ago
• nomeata / containers-verified

  View on GitHub
  A package re-exporting the verified subset of containers
  ☆20Jun 18, 2018Updated 7 years ago
• LightAndLight / meta-lambda

  View on GitHub
  Lambda Calculus with quote and unquote
  ☆19Jun 29, 2020Updated 5 years ago
• mrkkrp / facts

  View on GitHub
  Refined types
  ☆57Sep 25, 2018Updated 7 years ago
• thautwarm / RSolve

  View on GitHub
  Ask for solutions.
  ☆19Aug 5, 2019Updated 6 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆37Jun 14, 2023Updated 2 years ago
• Mesabloo / nihil

  View on GitHub
  Nihil, a statically typed interpreted functional programming language
  ☆69Apr 5, 2021Updated 4 years ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• maxigit / crew

  View on GitHub
  Command rewriter
  ☆18Sep 28, 2016Updated 9 years ago
• estatico / generic-override

  View on GitHub
  Override instances used by Haskell's generic derivation
  ☆31Jul 28, 2022Updated 3 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• ezyang / eff

  View on GitHub
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Aug 31, 2020Updated 5 years ago
• Softsapiens / mini-complete-servant

  View on GitHub
  A mini but complete example of API construction with persistence plus authorisation features with servant framework.
  ☆11Jan 14, 2016Updated 10 years ago
• ivan-m / jbi

  View on GitHub
  Just Build It - a "do what I mean" abstraction for Haskell build tools
  ☆12Jun 8, 2018Updated 7 years ago
• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• felko / snowflake

  View on GitHub
  An imperative, statically-typed toy language
  ☆12May 5, 2019Updated 6 years ago
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 5 years ago
• tolysz / c-mosquitto

  View on GitHub
  Simple Amazon IoT compatible client
  ☆13Oct 24, 2019Updated 6 years ago
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• GaloisInc / dismantle

  View on GitHub
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆26Aug 12, 2025Updated 6 months ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• TOTBWF / omit-generics

  View on GitHub
  Omit fields for instance deriving
  ☆37Jun 5, 2020Updated 5 years ago
• emc2 / clash-riscv

  View on GitHub
  A library of components for RISC-V implementations in Haskell CLaSH
  ☆13Mar 24, 2017Updated 8 years ago
• Atidot / snippets

  View on GitHub
  Atidot Code Snippets
  ☆10Mar 9, 2020Updated 5 years ago
• ibrahimsag / rw

  View on GitHub
  an experiment in presenting code.
  ☆14Aug 11, 2020Updated 5 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• int-index / slay

  View on GitHub
  Source Layouting Engine
  ☆11Mar 7, 2021Updated 4 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 6 years ago
• omelkonian / rewrite-inspector

  View on GitHub
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Oct 28, 2019Updated 6 years ago
• graninas / stm-free

  View on GitHub
  STM on Free monads
  ☆25May 16, 2018Updated 7 years ago
• pepeiborra / term

  View on GitHub
  Term Rewriting Systems
  ☆17Nov 7, 2015Updated 10 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• haskell-distributed / distributed-process-client-server

  View on GitHub
  Cloud Haskell - gen_server implementation
  ☆13Sep 3, 2024Updated last year