finos / morphirLinks
A universal language for business and technology
☆163Updated 3 months ago
Alternatives and similar repositories for morphir
Users that are interested in morphir are comparing it to the libraries listed below
Sorting:
- Tools to work with the Morphir IR in Elm.☆49Updated last month
- ☆29Updated 2 years ago
- Graph programming language☆95Updated this week
- Categorical Query Language IDE☆311Updated last week
- Tools to work with the Morphir IR on/using the JVM.☆23Updated 3 weeks ago
- Legend Pure module☆69Updated this week
- A desktop app companion to the UCM CLI☆50Updated last week
- A list of languages that compile to SQL☆68Updated 3 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- High-confidence browser testing☆390Updated 11 months ago
- Legend Engine module☆91Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Open-sourced data on tech conferences around the world.☆19Updated 11 months ago
- ZIO for Python☆85Updated last year
- The reference implementation of IDML for the JVM☆43Updated 5 months ago
- Render graphs using a declarative markup.☆152Updated 5 years ago
- A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventu…☆40Updated 9 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated this week
- Bartosz Milewski great book on Category Theory implemented in scala, with property Tests☆33Updated 7 years ago
- A Reactive Sparql Client written in Scala and Akka☆12Updated last year
- Refined types for Typescript☆24Updated 7 years ago
- ZIO-inspired APIs for Kyo☆12Updated last year
- Typed Spreadsheet UI library for ScalaJS☆40Updated 2 years ago
- The CDM is a model for financial products, trades in those products, and the lifecycle events of those trades. It is an open source stand…☆182Updated this week
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency☆156Updated last week
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- Decision Model & Notation in Markdown table format☆23Updated 2 weeks ago
- Bridge Four is a simple, functional, effectful, single-leader, multi worker, distributed compute system optimized for embarrassingly para…☆45Updated 2 months ago
- Taxi is a language for describing APIs, data models, and how everything relates☆156Updated last week
- Legend Studio☆102Updated last week