finos / morphir
A universal language for business and technology
☆161Updated this week
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
- Tools to work with the Morphir IR on/using the JVM.☆22Updated last week
- 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…☆160Updated this week
- Legend Engine module☆90Updated this week
- Transformations transformed☆80Updated this week
- Legend Pure module☆68Updated this week
- A list of languages that compile to SQL☆67Updated 2 years ago
- Refined types for Typescript☆24Updated 7 years ago
- Categorical Query Language IDE☆303Updated 2 weeks ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- Dhall for Java☆173Updated 7 months ago
- Legend Studio☆93Updated this week
- Standard ML interpreter, with relational extensions, implemented in Java☆320Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Durable Promise Specification☆94Updated 3 weeks ago
- An Elm module to display feature rich grids in web apps.☆11Updated 4 years ago
- A pure Elm text editor based on Martin Janiczek's demo☆45Updated 2 years ago
- ZIO for Python☆84Updated last year
- High-confidence browser testing☆381Updated 7 months ago
- Our slides for meetups and conferences☆15Updated 4 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆199Updated last year
- This project reimplements in Elm the data structures presented in the book "Purely Functional Data Structures" by Professor Okasaki (1999…☆40Updated 8 months ago
- A purely functional library to build distributed and event-driven systems☆138Updated last year
- ZIO-inspired APIs for Kyo☆12Updated 11 months ago
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency☆123Updated this week
- A list of resources mentioned in corecursive, or in the corecursive slack channel☆25Updated 3 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- Cats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for …☆116Updated last month
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆202Updated this week
- Linear types in Scala☆43Updated last week