order-taking
ttlite
Our great sponsors
order-taking | ttlite | |
---|---|---|
2 | 1 | |
130 | 121 | |
- | - | |
0.0 | 0.0 | |
over 2 years ago | about 2 years ago | |
Idris | Scala | |
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.
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
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
What are some alternatives?
library - A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.
lean - Lean Theorem Prover
Spring Data JPA - Simplifies the development of creating a JPA-based data access layer.
Coq-Equations - A function definition package for Coq
idris-jvm - JVM bytecode back end for Idris
cicada - Cicada Language
modular-monolith-with-ddd - Full Modular Monolith application with Domain-Driven Design approach.
topshell - TopShell - a purely functional, reactive scripting language
functional-programming-jargon - Jargon from the functional programming world in simple terms!
Agda - Agda is a dependently typed programming language / interactive theorem prover.
mrsc - A toolkit for building multi-result supercompilers