Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sylvan

Implementation of multi-core (binary) decision diagrams
Stars
58
License
apache-2.0
Open Issues
11
Most Recent Commit
4 months ago
Programming Language
C
Categories
Repo
Suggest An Alternative To sylvan
Popular Diagram Projects
Excalidraw ⭐ 66,345
Virtual whiteboard for sketching hand-drawn like diagrams
dependent packages 49total releases 295latest release December 06, 2023most recent commit 3 months agonpm @excalidraw/excalidraw} Downloads
Mermaid ⭐ 66,236
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
dependent packages 547total releases 216latest release December 04, 2023most recent commit 23 days agonpm mermaid} Downloads
Drawio ⭐ 37,528
draw.io is a JavaScript, client-side editor for general diagramming.
dependent packages 2total releases 2latest release July 30, 2021most recent commit 3 months agonpm @hhhtj/draw.io} Downloads
Diagrams ⭐ 33,556
:art: Diagram as Code for prototyping cloud system architectures
dependent packages 38total releases 45latest release October 30, 2023most recent commit 3 months agopypi diagrams} Downloads
Popular Formal Methods Projects
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 3 months agocargo sled} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 3 months agonuget PCheckerCore} Downloads
Hacl Star ⭐ 1,575
HACL*, a formally verified cryptographic library written in F*
dependent packages 2total releases 11latest release June 15, 2023most recent commit a month agonpm hacl-wasm} Downloads
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
C Diagram
C Formal Methods
Diagram Formal Methods

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