Alternatives and similar repositories for mecha

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

• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 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 5 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 6 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 5 months ago
• JPMoresmau / dbIDE
  Prototype of a web based, database driven Haskell IDE
  ☆17Updated 9 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
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆45Updated 2 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
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• VictorTaelin / unknown_halting_status
  Small programs with unknown halting status.
  ☆12Updated 9 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 11 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• tonymorris / validation
  ☆31Updated 4 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 6 years ago
• nomeata / ghcjs2gh-pages
  Example repository setup that deploys GHCJS programs to GitHub Pages
  ☆23Updated 6 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• lprez / FWGL
  ☆21Updated 9 years ago
• circuithub / haskell-gerber
  A library for parsing Gerbers
  ☆20Updated 5 months ago
• ghcjs / ghcjs-ffiqq
  QuasiQuoter for GHCJS JavaScript FFI
  ☆20Updated 9 years ago
• GibsonDisaster / Vauxhall
  A small in-terminal dungeon crawler written in Haskell
  ☆11Updated 7 years ago
• sinelaw / fresh-lang
  ☆14Updated 7 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆16Updated 3 years ago
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 7 years ago