Alternatives and similar repositories for clafer

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

• ISANobody / sill
  ☆29Updated 10 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 9 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆12Updated 4 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆44Updated 7 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 11 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 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
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 6 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 9 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 10 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆29Updated 6 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• GaloisInc / halfs
  The Haskell File System: A file system implementation in Haskell
  ☆38Updated 10 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year