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

3,816 commits to main branch, last one a day ago

48

900

bsd-3-clause

20

Compositional Differentiable Programming Library

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

Created 2022-11-30

751 commits to main branch, last one a day ago

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 12 months 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

30

99

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,027 commits to master branch, last one about a month ago