5 results found Sort:

cksystemsteaching
selfie cksystemsteaching
321
2.4k
bsd-2-clause
59
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,336 commits to main branch, last one 4 days ago
ExtensityAI
symbolicai ExtensityAI
59
1.0k
unknown
21
Compositional Differentiable Programming Library
machine-learning symbolic-execution-engine differentiable-programming object-oriented-programming
Created 2022-11-30
1,010 commits to main branch, last one 2 days ago
Generative-Program-Analysis
GenSym Generative-Program-Analysis
5
128
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,786 commits to main branch, last one 14 days ago
pietrobraione
jbse pietrobraione
29
109
gpl-3.0
6
A symbolic Java virtual machine for program analysis, verification and test generation
java-virtual-machine symbolic-execution-engine
Created 2014-10-31
1,030 commits to master branch, last one 2 months ago
DeepMLNet
DeepNet DeepMLNet
9
101
apache-2.0
20
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