Alternatives and similar repositories for mecha

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

• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• ChrisPenner / wave-function-collapse
  Wave function collapse procedural generation for arbitrary graphs
  ☆15Updated 5 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆16Updated 3 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 6 years ago
• agocorona / hplayground
  Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…
  ☆60Updated 9 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 3 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆14Updated 7 years ago
• jakubfijalkowski / haskell-and-cpp
  Example on how to integrate Haskell and C++ library.
  ☆13Updated 10 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 8 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• cjdev2 / monad-persist
  An mtl-style typeclass and transformer for persistent
  ☆11Updated 6 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 9 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated 2 months ago
• NCrashed / servant-auth-token
  Servant based API and server for token based authorisation
  ☆14Updated 5 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 4 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆23Updated 9 years ago
• fpco / inline-c-nag
  ☆11Updated 4 years ago
• acfoltzer / gitrev
  Compile git revision info into Haskell projects
  ☆49Updated last year