ZeweiChu / ShyLinks
Shy is a framework automatically generating Object Algebras Queries and Transformations based on generic OA Interfaces.
☆11Updated 10 years ago
Alternatives and similar repositories for Shy
Users that are interested in Shy are comparing it to the libraries listed below
Sorting:
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- Finite state machines as graphs☆60Updated 5 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- ☆84Updated 11 months ago
- every day i'm truffling☆70Updated 4 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 6 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Updated 8 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Updated 7 years ago
- The mm-ADT Virtual Machine☆35Updated 5 years ago
- Proof theory seminar☆36Updated 4 years ago
- Core components for the Scribble Java tools☆58Updated last year
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Updated 6 years ago
- Arend plugin for IntelliJ IDEA☆94Updated 11 months ago
- Formalization of some elementary mathematical theories in Coq☆16Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 3 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- Play Minesweeper by formally proving your moves in Idris☆169Updated last year
- ☆38Updated 6 years ago
- Clafer is a lightweight modeling language☆47Updated 11 months ago
- The Next Generation of Compositional Programming☆56Updated 2 weeks ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- Object Algebra Composition☆24Updated 12 years ago
- An interactive workshop on implementing AlgorithmW in Kotlin☆21Updated 5 years ago
- Embedded specification language & model checker in Haskell☆179Updated 9 months ago
- Build system☆134Updated 3 months ago
- Idris version of Domain Modeling Made Functional Book.☆142Updated 4 years ago
- Gradle plugin for compiling Frege projects☆25Updated 4 years ago
- Haskell graphs and networks library☆31Updated 3 years ago
- Datalog with equality for rust☆72Updated last month