Alternatives and similar repositories for clafer

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

• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 8 months ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 9 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆23Updated 11 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆81Updated 7 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• alcestes / mpstk
  Multiparty Session Types toolKit
  ☆15Updated last month
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆48Updated 2 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆29Updated 2 months ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 9 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 8 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago