|
|
C++ |
7 |
C++ library to compute symbolic derivatives |
Aug 14, 2022 |
|
|
C# |
26 |
Symbolic Execution Engine for Boogie |
Sep 29, 2022 |
|
|
Rust |
325 |
symbolic execution engine for Rust |
May 26, 2023 |
|
|
C++ |
21 |
Lightweight Symbolic Execution Engine |
Jul 30, 2022 |
|
|
C++ |
55 |
KLEE Symbolic Execution Engine |
Jul 14, 2022 |
|
|
C++ |
4 |
KLEE Symbolic Execution Engine |
Mar 30, 2023 |
|
|
C++ |
6 |
A symbolic spice engine |
Feb 03, 2023 |
|
|
Julia |
5 |
My Own Symbolic Engine |
Feb 06, 2020 |
|
|
C++ |
2231 |
KLEE Symbolic Execution Engine |
May 24, 2023 |
|
|
F# |
37 |
Symbolic execution engine for .NET Core |
May 05, 2023 |
|
|
Jupyter Notebook |
570 |
Compute Sentence Embeddings Fast! |
Apr 07, 2023 |
|
|
C++ |
5 |
Mobile AI Compute Engine |
May 14, 2021 |
|
|
Python |
10 |
Google Compute Engine Manager |
Dec 08, 2021 |
|
|
Shell |
37 |
NetBSD Support for Google Compute Engine |
Apr 10, 2022 |
|
|
C# |
49 |
Symbolica's open-source symbolic execution engine. |
Jun 06, 2022 |
|
|
Python |
9 |
A symbolic execution engine for the VEX IR |
Nov 03, 2020 |
|
|
WebAssembly |
7 |
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules |
May 02, 2023 |
|
|
C++ |
3 |
Fast symbolic manipulation library, written in C++ |
Oct 06, 2016 |
|
|
Ruby |
5 |
Google Compute Engine driver for Test-Kitchen. |
Jul 26, 2022 |
|
|
Python |
370 |
Packages for Google Compute Engine Linux images. |
Jul 25, 2022 |
|
|
Ruby |
47 |
Google Compute Engine driver for Test-Kitchen |
Nov 16, 2022 |
|
|
None |
60 |
Google Compute Engine Cloud plugin for Elasticsearch |
Aug 24, 2021 |
|
|
C++ |
41 |
Symbolic differentiation engine for optimization-based machine learning models. |
Mar 28, 2022 |
|
|
Python |
78 |
[DEPRECATED] A symbolic execution engine for the VEX IR |
Jun 10, 2022 |
|
|
Rust |
19 |
Cross-platform compute shader engine |
May 05, 2023 |
|
|
Ruby |
9 |
BOSH Google Compute Engine CPI |
Jan 28, 2023 |
|
|
Go |
2 |
A small RISC-V symbolic execution engine |
Apr 13, 2022 |
|
|
C++ |
75 |
Symbolic Execution Engine based on Ghidra's PCode |
Feb 02, 2023 |
|
|
Java |
2 |
DSE: a generic dynamic symbolic execution engine |
Sep 10, 2022 |
|
|
Go |
13 |
Go package for for Google Compute Engine (GCE) |
Jan 28, 2023 |
|
|
Python |
61 |
Probabilistic programming system for fast and exact symbolic probabilistic inference |
Mar 13, 2023 |
|
|
C++ |
1174 |
Fast symbolic computation, code generation, and nonlinear optimization for robotics |
May 03, 2023 |
|
|
Go |
289 |
Tiny & fast WebAssembly edge compute server |
Aug 07, 2022 |
|
|
None |
2 |
Tiny & fast WebAssembly edge compute server |
Jun 13, 2022 |
|
|
None |
2 |
Shotit is a screenshot-to-video search engine tailored for TV & Film, blazing-fast and compute-efficient. |
Apr 23, 2023 |
|
|
C++ |
71 |
OS Login Guest Environment for Google Compute Engine |
Aug 04, 2022 |
|
|
Go |
179 |
Tools and scripts for Google Compute Engine images. |
Jul 17, 2022 |
|
|
Shell |
5 |
Instructions for using ZeroMQ on Google Compute Engine |
Jan 28, 2023 |
|
|
None |
2 |
Tools and scripts for Google Compute Engine images. |
May 30, 2023 |
|
|
Haskell |
177 |
The symbolic execution engine powering the K Framework |
Aug 21, 2022 |
|
|
Shell |
22 |
Grid Engine on Compute Engine provides a shell script to manage a Compute Engine cluster … |
Jun 16, 2022 |
|
|
C++ |
6 |
Compute Engine Virtual Ethernet Windows driver. |
Aug 10, 2022 |
|
|
Python |
348 |
Mobile AI Compute Engine Model Zoo |
Jul 20, 2022 |
|
|
Rust |
2 |
A distributed compute and storage engine |
Apr 24, 2023 |
|
|
None |
2 |
Compute Engine Virtual Ethernet Linux driver. |
Oct 18, 2021 |
|
|
Go |
14 |
Compute Engine Guest OS - Test infrastructure |
May 20, 2022 |
|
|
None |
29 |
RStudio Server on Google Compute Engine |
Apr 16, 2022 |
|
|
C |
45 |
Compute Engine Virtual Ethernet Linux driver. |
Aug 10, 2022 |
|
|
GLSL |
24 |
Customizable compute shader for fast cache-aware mipmap generation |
Apr 08, 2023 |
|
|
C |
9 |
a CIL-based dynamic symbolic execution (DSE) engine for C language |
Jan 05, 2022 |