Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sidekick

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
Stars
23
License
apache-2.0
Open Issues
7
Most Recent Commit
4 months ago
Programming Language
SMT
Categories
Site
Repo
Suggest An Alternative To sidekick
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
Popular Functor Projects
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months agonuget LanguageExt.Core} Downloads
Crocks ⭐ 1,541
A collection of well known Algebraic Data Types for your utter enjoyment.
dependent packages 86total releases 36latest release September 22, 2019most recent commit 2 years agonpm crocks} Downloads
Purify ⭐ 1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40latest release June 05, 2023most recent commit 3 months agonpm purify-ts} Downloads
Witchcraft ⭐ 1,169
Monads and other dark magic for Elixir
dependent packages 3total releases 17latest release January 29, 2022most recent commit 8 months agohex witchcraft} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
Smt Sat Solver
Smt Formal Methods
Sat Solver Formal Methods

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