Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for docker symbolic
docker
x
symbolic
x
8 search results found
Symcc
⭐
724
SymCC: efficient compiler-based symbolic execution
Syrenn
⭐
31
SyReNN: Symbolic Representations for Neural Networks
Code Vectors Artifact
⭐
17
Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
Numpp
⭐
10
Research library for compile time optimization
Equality Checker
⭐
7
Lightweight server for testing equivalence of two symbolic expressions.
Pfaces Omegathreads
⭐
6
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and
Dcomposer
⭐
5
Composer runing with docker
Aiortc_yolov3
⭐
5
Trial for using YOLO v3 with aiortc (WebRTC implementation with Python)
Related Searches
Shell Docker (20,660)
Docker Dockerfile (16,395)
Python Docker (16,341)
Javascript Docker (10,426)
Golang Docker (7,702)
Php Docker (6,192)
Java Docker (6,071)
Docker Nginx (5,238)
Typescript Docker (4,630)
Docker Postgresql (4,363)
1-8 of 8 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.