Awesome Open Source

Programming Languages

Search results for scala synthesis

13 search results found

Scalacollider ⭐ 186

A Scala sound synthesis library based on SuperCollider.

The Leon system for verification, synthesis, repair

UCLID5: formal modeling, verification, and synthesis of computational systems

Synthesis of Heap-Manipulating Programs from Separation Logic

Scallina ⭐ 73

A Coq-based synthesis of Scala programs which are correct-by-construction

Fscape Next ⭐ 13

Audio rendering software, based on UGen graphs. Mirror of https://codeberg.org/sciss/FScape-next/

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.

Synthesis with Metaheuristics - Genetic Programming in Scala

Meowsynth ⭐ 9

The mighty meowing synthesizer!

Alogic is a Medium Level Synthesis language for digital logic that compiles swiftly into standard Verilog-2005 for implementation in ASIC or FPGA.

Escher Scala ⭐ 6

Recursive Program Synthesis using input-output examples

TM2: Type-safe modeling in text mining

Processing Element ⭐ 5

A configurable processing element for deep neural network accelerators

Related Searches

Scala Sbt (4,178)

Scala Spark (3,279)

Scala Akka (2,120)

Java Scala (1,794)

Scala Play Framework (1,309)

Plugin Scala (1,079)

Scala Kafka (969)

Scala Functional Programming (942)

Scala Scalajs (887)

Python Synthesis (769)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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