gsdlab / clafer
Clafer is a lightweight modeling language
☆44Updated 9 months ago
Related projects: ⓘ
- re-startable monad that recover the execution state from a log, and workflow patterns☆42Updated 8 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 4 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆20Updated last year
- Support for static values☆22Updated 2 weeks ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Datalog + Egg = Good☆65Updated last year
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- ☆28Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- A simulator for visualising the evolution of π-calculus terms☆40Updated 2 years ago
- ☆18Updated this week
- The LVish Haskell library☆81Updated last year
- Idris LLVM codegen factored out☆78Updated 7 years ago
- 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
- System POSIX bindings for Idris.☆35Updated 5 years ago
- The Scribble language guide.☆13Updated 7 years ago
- An Ivory library inspired by Atom☆13Updated 7 years ago
- A concurrency framework for the Ivory language☆43Updated 4 years ago
- Buildsome: The awesome build system☆53Updated last year
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Semantics for Cryptol☆16Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- A DSL for describing and implementing communication protocols☆82Updated 9 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 7 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated last year
- ☆55Updated 7 years ago