Hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Hoogle_plus | 49 | 2 years ago | 17 | mit | Haskell | |||||
| Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR) | ||||||||||
| Casper | 47 | 10 months ago | 2 | other | Java | |||||
| A compiler for automatically re-targeting sequential Java code to Apache Spark. | ||||||||||
| Loopinvgen | 31 | 4 years ago | 2 | mit | OCaml | |||||
| Generates loop invariants for program verification | ||||||||||
| Fws | 23 | 3 years ago | 12 | mit | Haskell | |||||
| Language-independent Synthesis of Firewall Policies | ||||||||||
| Kungfauxpandas | 15 | a year ago | 3 | apache-2.0 | Jupyter Notebook | |||||
| data synthesis tool to simplify privacy preservation | ||||||||||
| Synthesis Dags | 12 | 3 years ago | gpl-3.0 | Python | ||||||
| Code for our paper "Barking up the right tree: an approach to search over molecule synthesis DAGs" | ||||||||||
| Dna Scanner | 11 | 2 years ago | 53 | mit | Python | |||||
| Online tool for comparing prices and feasibility of DNA synthesis | ||||||||||
| Festival Tts Arabic Voices Docker | 8 | 3 years ago | Python | |||||||
| A Docker image for a relatively light-weight full Arabic speech synthesis system | ||||||||||
| Cookiecutter Chrisapp | 6 | 2 years ago | 6 | mit | Python | |||||
| A cookiecutter template for Chris app plugins | ||||||||||
| Masocist | 6 | 4 years ago | other | C | ||||||
| A linux'ish build system for System on Chip designs, based on GHDL | ||||||||||
Alternatives To Hoogle_plusSelect To Compare
Alternative Project Comparisons
Popular Synthesis Projects
Popular Docker Projects
Popular Media Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Docker
Haskell
Synthesis