Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Grisette

A monadic library for symbolic evaluation
Stars
43
License
other
Open Issues
9
Most Recent Commit
4 months ago
Programming Language
Haskell
Total Releases
5
Latest Release
September 29, 2023
Categories
Repo
Suggest An Alternative To grisette
Popular Symbolic Execution Projects
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213latest release December 05, 2023most recent commit 3 months agopypi angr} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
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,508
Code. Music. Live.
most recent commit 2 days ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Haskell Smt
Haskell Synthesis
Synthesis Smt
Smt Symbolic Execution
Haskell Symbolic Execution

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