Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Suslik

Synthesis of Heap-Manipulating Programs from Separation Logic
Stars
103
License
other
Open Issues
17
Most Recent Commit
2 years ago
Programming Language
Scala
Categories
Repo
Alternatives To Suslik
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Suslik103
2 years ago17otherScala
Synthesis of Heap-Manipulating Programs from Separation Logic
Esp32 Flite15
3 years ago1C
Flite speech synthesis running on ESP32
Alternatives To Suslik
Select To Compare


Suggest An Alternative To suslik
Alternative Project Comparisons
Suslik vs Esp32 Flite
Popular Synthesis Projects
Tone.js ⭐ 12,835
A Web Audio framework for making interactive music in the browser.
dependent packages 205total releases 678latest release October 23, 2022most recent commit 5 months agonpm tone} Downloads
Sonic Pi ⭐ 10,485
Code. Music. Live.
most recent commit 14 days ago
Popular Heap Projects
Popular Media Categories
Screenshot
Ffmpeg
Volume
Image Processing
Spotify
Radio
Playlist
Decoder
Qrcode
Encoder
Related Searches
Scala Heap
Scala Synthesis
Scala Smt
Synthesis Smt
Scala Program Synthesis
Smt Program Synthesis

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Synthesis
Heap
Smt
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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