Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cryfsm

convert simple cryptol expressions into finite-state machines
Stars
19
License
other
Open Issues
1
Most Recent Commit
7 years ago
Programming Language
Haskell
Categories
Repo
Suggest An Alternative To cryfsm
Popular Matrix Projects
Algorithms ⭐ 23,318
Minimal examples of data structures and algorithms in Python
dependent packages 2total releases 5latest release October 04, 2020most recent commit 4 months agopypi algorithms} Downloads
Synapse ⭐ 11,719
Synapse: Matrix homeserver written in Python/Twisted.
dependent packages 7total releases 362latest release December 05, 2023most recent commit 5 months agopypi matrix-synapse} Downloads
Matrix ⭐ 11,172
Matrix is a plugin style, non-invasive APM system developed by WeChat.
dependent packages 1total releases 26latest release March 21, 2023most recent commit 6 months ago
Popular State Machine Projects
Xstate ⭐ 26,040
Actor-based state management & orchestration for complex app logic.
dependent packages 768total releases 215latest release December 09, 2023most recent commit a month agonpm xstate} Downloads
Ui Router ⭐ 13,640
The de-facto solution to flexible routing with nested views in AngularJS
dependent packages 673total releases 56latest release December 01, 2021most recent commit a year agonpm angular-ui-router} Downloads
Javascript State Machine ⭐ 7,679
A javascript finite state machine library
dependent packages 118total releases 9latest release July 12, 2018most recent commit 3 years agonpm javascript-state-machine} Downloads
Stateless ⭐ 5,166
A simple library for creating state machines in C# code
dependent packages 55total releases 186latest release December 03, 2023most recent commit 4 months agonuget Stateless} Downloads
Transitions ⭐ 5,164
A lightweight, object-oriented finite state machine implementation in Python with many extensions
dependent packages 92total releases 47latest release September 02, 2022most recent commit 5 months agopypi transitions} Downloads
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Matrix
State Machine
Matrices
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.