Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Lisa

Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.
Stars
5
License
gpl-3.0
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
C++
Categories
Site
Repo
Alternatives To Lisa
Select To Compare
Tone.js ⭐ 12,835
A Web Audio framework for making interactive music in the browser.
dependent packages 205total releases 678most recent commit 5 months agonpm tone} Downloads
Sonic Pi ⭐ 10,530
Code. Music. Live.
most recent commit 9 days ago


Suggest An Alternative To lisa
Popular Media Categories
Screenshot
Ffmpeg
Volume
Image Processing
Spotify
Radio
Playlist
Decoder
Qrcode
Encoder

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Synthesis
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.