Alternatives and similar repositories for clafer

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

• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 9 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 3 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆44Updated 7 years ago
• swift-nav / wolf
  Wolf is a wrapper around Amazon Simple Workflow Service.
  ☆16Updated 3 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 10 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated this week
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆34Updated 8 months ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 7 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆12Updated 4 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 10 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated last year
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 6 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆76Updated 9 years ago