finos / morphir
A universal language for business and technology
☆162Updated last month
Alternatives and similar repositories for morphir:
Users that are interested in morphir are comparing it to the libraries listed below
- Tools to work with the Morphir IR in Elm.☆49Updated last week
- Legend Pure module☆69Updated last week
- Tools to work with the Morphir IR on/using the JVM.☆22Updated last month
- Legend Engine module☆90Updated this week
- Categorical Query Language IDE☆304Updated this week
- ☆29Updated last year
- High-confidence browser testing☆383Updated 8 months ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- Enterprise Information Service☆195Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Graph programming language☆82Updated this week
- CQL: Categorical Query Language implementation in Haskell☆169Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Our slides for meetups and conferences☆15Updated 4 years ago
- A list of languages that compile to SQL☆67Updated 2 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆41Updated this week
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- Refined types for Typescript☆24Updated 7 years ago
- A Reactive Sparql Client written in Scala and Akka☆12Updated last year
- ☆107Updated last month
- Taxi is a language for describing APIs, data models, and how everything relates☆125Updated last month
- Companion to the Haskell in Production series☆80Updated 5 years ago
- This project reimplements in Elm the data structures presented in the book "Purely Functional Data Structures" by Professor Okasaki (1999…☆40Updated 9 months ago
- EulerHS: full-fledged framework for creating web backends☆103Updated 7 months ago
- Technical blogs around data collaboration, data management, and building collaborative applications.☆45Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆35Updated this week
- Bartosz Milewski great book on Category Theory implemented in scala, with property Tests☆33Updated 6 years ago
- Dhall for Java☆173Updated 8 months ago
- Introducing tagless-final in Scala with an example of Language-Integrated Query☆18Updated 4 years ago
- formally verified category theory library☆263Updated 4 years ago