ttlite
order-taking
Our great sponsors
| ttlite | order-taking | |
|---|---|---|
| 1 | 2 | |
| 121 | 130 | |
| - | - | |
| 0.0 | 0.0 | |
| about 2 years ago | over 2 years ago | |
| Scala | Idris | |
| - | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ttlite
-
Seemingly Impossible Functional Programs
One of the authors of this work, who apparently now works on supercompilers at Meta, open sourced some nice tools for equivalence testing based on graph rewriting [1] and MLTT [2]. If you're interested in that kind of stuff I recommend checking out his work:
[1]: https://github.com/ilya-klyuchnikov/mrsc
[2]: https://github.com/ilya-klyuchnikov/ttlite
order-taking
-
Domain Driven Design Made Dependently Typed with Idris
https://youtu.be/QBj-4K-l-sg
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow abstractions to create a full implementation which is hosted on NodeJS.
For more details see; https://github.com/andorp/order-taking/
-
Domain Driven Design made Dependently Typed
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow abstractions to create a full implementation which is hosted on NodeJS. https://github.com/andorp/order-taking/ https://github.com/andorp/order-taking/blob/main/SLIDES.md
What are some alternatives?
lean - Lean Theorem Prover
library - A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.
Coq-Equations - A function definition package for Coq
Spring Data JPA - Simplifies the development of creating a JPA-based data access layer.
cicada - Cicada Language
idris-jvm - JVM bytecode back end for Idris
topshell - TopShell - a purely functional, reactive scripting language
modular-monolith-with-ddd - Full Modular Monolith application with Domain-Driven Design approach.
Agda - Agda is a dependently typed programming language / interactive theorem prover.
functional-programming-jargon - Jargon from the functional programming world in simple terms!
mrsc - A toolkit for building multi-result supercompilers