4 results found Sort:

breandan
kotlingrad breandan
21
532
apache-2.0
20
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
types kotlin chinese optimization shape-safety linear-algebra message-passing computer-algebra gradient-descent array-programming algebraic-data-types multi-stage-programming symbolic-differentiation automatic-differentiation differentiable-programming
Created 2018-10-19
1,672 commits to master branch, last one 4 days ago
Generative-Program-Analysis
GenSym Generative-Program-Analysis
4
126
unknown
6
A high-performance, parallel, compilation-based symbolic execution engine
scala compiler metaprogramming symbolic-execution multi-stage-programming symbolic-execution-engine
Created 2022-08-12
1,779 commits to main branch, last one 23 days ago
namin
staged-miniKanren namin
16
126
unknown
13
staged relational interpreters: running with holes, faster
racket scheme minikanren generative-programming multi-stage-programming
Created 2017-11-05
1,128 commits to semantics branch, last one about a month ago
scala-lms
tutorials scala-lms
45
120
unknown
16
Tutorials on Lightweight Modular Staging
c scala tutorial generative-programming multi-stage-programming
Created 2012-10-10
470 commits to master branch, last one 2 months ago