5 results found Sort:

cksystemsteaching
selfie cksystemsteaching
312
2.4k
bsd-2-clause
61
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
compiler emulator teaching virtual-machine computer-science symbolic-execution-engine
Created 2015-09-02
4,151 commits to main branch, last one about a month ago
ExtensityAI
symbolicai ExtensityAI
56
981
unknown
22
Compositional Differentiable Programming Library
machine-learning symbolic-execution-engine differentiable-programming object-oriented-programming
Created 2022-11-30
902 commits to main branch, last one 9 days ago
Generative-Program-Analysis
GenSym Generative-Program-Analysis
4
123
unknown
7
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,777 commits to main branch, last one 2 days ago
pietrobraione
jbse pietrobraione
29
104
gpl-3.0
7
A symbolic Java virtual machine for program analysis, verification and test generation
java-virtual-machine symbolic-execution-engine
Created 2014-10-31
1,029 commits to master branch, last one 10 days ago
DeepMLNet
DeepNet DeepMLNet
9
102
apache-2.0
21
Deep.Net machine learning framework for F#
gpu cuda dotnet fsharp tensor ndarray deep-learning gpu-computing differentiation gpu-acceleration machine-learning symbolic-computation symbolic-execution-engine
Created 2016-05-23
1,375 commits to master branch, last one 6 years ago