Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ringen

Regular Invariant Generator and SMTLIB2 code transformer
Stars
5
License
No license specified
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
SMT
Categories
Repo
Suggest An Alternative To RInGen
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 Algebraic Data Types Projects
Fp Ts ⭐ 10,191
Functional programming in TypeScript
dependent packages 2,148total releases 223latest release July 27, 2023most recent commit 4 months agonpm fp-ts} Downloads
Fluture ⭐ 2,458
:butterfly: Fantasy Land compliant (monadic) alternative to Promises
dependent packages 227total releases 109latest release March 13, 2021most recent commit 4 months agonpm fluture} Downloads
Folktale ⭐ 1,981
[not actively maintained!] A standard library for functional programming in JavaScript
dependent packages 129total releases 21latest release January 21, 2019most recent commit 3 years agonpm folktale} Downloads
Functionaljava ⭐ 1,549
Functional programming in Java
dependent packages 66total releases 18latest release February 11, 2022most recent commit a year ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Smt
Algebraic Data Types
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.