4 results found Sort:

breandan
kotlingrad breandan
21
513
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,669 commits to master branch, last one about a year ago
namin
staged-miniKanren namin
16
122
unknown
13
staged relational interpreters: running with holes, faster
scheme minikanren generative-programming multi-stage-programming
Created 2017-11-05
1,093 commits to semantics branch, last one 13 days ago
scala-lms
tutorials scala-lms
44
117
unknown
16
Tutorials on Lightweight Modular Staging
c scala tutorial generative-programming multi-stage-programming
Created 2012-10-10
467 commits to master branch, last one 4 months ago
Generative-Program-Analysis
GenSym Generative-Program-Analysis
3
112
unknown
4
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,753 commits to main branch, last one about a year ago