Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cspgen

A tool for translating imperative programs to CSP.
Stars
9
License
other
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Haskell
Categories
Repo
Suggest An Alternative To cspgen
Popular Csp Projects
Secure_headers ⭐ 3,129
Manages application of security headers with many safe defaults
dependent packages 7total releases 108latest release October 25, 2022most recent commit 8 months agorubygems secure_headers} Downloads
Asynquence ⭐ 1,643
Asynchronous flow control (promises, generators, observables, CSP, etc)
dependent packages 29total releases 49latest release October 30, 2017most recent commit 4 years agonpm asynquence} Downloads
Venice ⭐ 1,495
Coroutines, structured concurrency and CSP for Swift on macOS and Linux.
total releases 2latest release November 23, 2015most recent commit 5 years ago
Popular Llvm Projects
Rpcs3 ⭐ 13,787
PS3 emulator/debugger
most recent commit 4 months ago
Numba ⭐ 9,185
NumPy aware dynamic Python compiler using LLVM
dependent packages 146total releases 42latest release November 30, 2023most recent commit 4 months ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Llvm
Coq
Csp
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.