ZeweiChu / Shy
Shy is a framework automatically generating Object Algebras Queries and Transformations based on generic OA Interfaces.
☆11Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Shy
- This repository contains all materials related to the Paper "Scrap Your Boilerplate with Object Algebras"☆8Updated 9 years ago
- Build database applications faster than anyone else, and keep your data pollution free as a bonus.☆40Updated last week
- A spoonful of ADT in your Java.☆49Updated last year
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Updated 5 years ago
- every day i'm truffling☆67Updated 3 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- A definition and reference implementation for MRA in PureScript.☆17Updated 7 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Java Code Generator for Idris☆71Updated 8 years ago
- ☆79Updated last week
- ☆34Updated 11 years ago
- Functional Data Management (Type Safe ETL / ELT in Haskell)☆43Updated 2 years ago
- ☆15Updated 10 months ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Core components for the Scribble Java tools☆56Updated last month
- The mm-ADT Virtual Machine☆34Updated 4 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- oleg modules☆30Updated 11 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆16Updated 6 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 2 years ago
- A portable idris2 implementation of TLS☆32Updated 3 weeks ago
- Scala implementation of ILC, with benchmarks☆25Updated 8 years ago
- The fastest way to build a language☆39Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- ☆15Updated 7 years ago