Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ExtensityAI/symbolicai
Compositional Differentiable Programming Library
differentiable-programming machine-learning object-oriented-programming symbolic-execution-engine
Last synced: 14 Jun 2024
![](https://github.com/ExtensityAI.png)
https://github.com/cksystemsteaching/selfie
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 computer-science emulator symbolic-execution-engine teaching virtual-machine
Last synced: 30 May 2024
![](https://github.com/cksystemsteaching.png)
https://github.com/boogie-org/symbooglix
Symbolic Execution Engine for Boogie
boogie symbolic-execution symbolic-execution-engine
Last synced: 07 Apr 2024
![](https://github.com/boogie-org.png)
https://github.com/Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
compiler metaprogramming multi-stage-programming scala symbolic-execution symbolic-execution-engine
Last synced: 07 Apr 2024
![](https://github.com/Generative-Program-Analysis.png)
https://pietrobraione.github.io/jbse/
A symbolic Java virtual machine for program analysis, verification and test generation
java-virtual-machine symbolic-execution-engine
Last synced: 07 Apr 2024
![](https://github.com/pietrobraione.png)