Alternatives and similar repositories for clafer

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

• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 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
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 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 2 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
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆27Updated 8 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 6 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆62Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 2 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 11 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆13Updated 4 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago