dslmDT: DSL of Maths using Dependent Type Theory
DSL of maths is the application of purely functional programming
in developing domain specific languages for mathematics. This work builds
on the original work by mathdsl and introduces more stricter
type theory construct using dependent type theory
biort: Bio-inspired algorithms in Rust
Biological algorithms are used in different areas of computer science and optimization theory such
as evolutionary algorithms, genetic algorithms.
pplECPP: Probabilistic Programming Language in Embedded C++
Probabilistic Programming uses probability theory to model things
