Alternatives and similar repositories for mecha

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

• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Updated 4 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated last month
• mwotton / judy
  ☆18Updated 2 years ago
• circuithub / haskell-gerber
  A library for parsing Gerbers
  ☆20Updated 3 weeks ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆16Updated 3 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• haskell / entropy
  Easy entropy source for Haskell users.
  ☆24Updated 6 months ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 3 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• JPMoresmau / dbIDE
  Prototype of a web based, database driven Haskell IDE
  ☆17Updated 9 years ago
• sru-systems / protobuf-simple
  Protocol Buffers library for Haskell
  ☆22Updated 4 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• DistRap / gcodehs
  GCode parser, pretty-printer and processing utils
  ☆14Updated last year
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago