Awesome Open Source

Programming Languages

Search results for docker synthesis

11 search results found

Hoogle_plus ⭐ 49

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

A compiler for automatically re-targeting sequential Java code to Apache Spark.

Loopinvgen ⭐ 31

Generates loop invariants for program verification

Language-independent Synthesis of Firewall Policies

Kungfauxpandas ⭐ 15

data synthesis tool to simplify privacy preservation

Synthesis Dags ⭐ 12

Code for our paper "Barking up the right tree: an approach to search over molecule synthesis DAGs"

Dna Scanner ⭐ 11

Online tool for comparing prices and feasibility of DNA synthesis

Festival Tts Arabic Voices Docker ⭐ 8

A Docker image for a relatively light-weight full Arabic speech synthesis system

Cookiecutter Chrisapp ⭐ 6

A cookiecutter template for Chris app plugins

A linux'ish build system for System on Chip designs, based on GHDL

Icestorm Server ⭐ 5

IceStorm Synthesis Server (Node.js) and Command-Line Client (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-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.