Search Results - RepositoryStats

313

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,154 commits to main branch, last one 4 days ago

58

1k

unknown

22

Compositional Differentiable Programming Library

machine-learning symbolic-execution-engine differentiable-programming object-oriented-programming

Created 2022-11-30

925 commits to main branch, last one 7 days ago

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

29

108

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 about a month ago

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