Alternatives and similar repositories for clafer:

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

• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 8 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆80Updated 7 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆90Updated 10 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 7 months ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆27Updated 3 weeks ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• beijaflor-io / haskell-language-hcl
  language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language
  ☆14Updated 5 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• Operational-Transformation / ot.hs
  Real-time collaborative editing with Operational Transformation
  ☆41Updated 9 months ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 8 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago