nhatminhle / cofojaLinks
Contracts for Java
☆153Updated 6 years ago
Alternatives and similar repositories for cofoja
Users that are interested in cofoja are comparing it to the libraries listed below
Sorting:
- Lightweight analysis tool for detecting mutability in Java classes☆241Updated 2 months ago
- A Java framework for testing multithreaded code.☆309Updated 8 years ago
- Property-based test framework☆82Updated 3 months ago
- adt4j - Algebraic Data Types for Java☆147Updated 7 years ago
- Another functional library for Java☆318Updated 3 years ago
- A modern testing and behavioural specification framework for Java 8☆254Updated 3 years ago
- ☆149Updated 3 years ago
- 🎼 Bach Builds (on(ly)) Modules☆240Updated last month
- Test and Visualize and Manage Dependencies of classes and packages in JVM Byte Code (think Scala and Java)☆312Updated 4 years ago
- Guava's spikier (unofficial) cousin☆288Updated 9 years ago
- Detect uses of legacy Java APIs☆384Updated last week
- Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.☆105Updated 2 years ago
- Java port of docopt☆161Updated 9 years ago
- Wrappers for methods/interfaces/lambdas throwing checked exceptions for use in functional interfaces☆91Updated 10 years ago
- A clean room implementation of the JCIP Annotations based entirely on the specification provided by the javadocs.☆55Updated last year
- Erlang style object supervision for the JVM☆126Updated 2 years ago
- Maven plugin for submitting Java code coverage reports to Coveralls web service.☆314Updated 2 years ago
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆577Updated 3 years ago
- walkmod: an open source tool to fix coding style issues☆153Updated 3 years ago
- Randomized Testing (Core JUnit Runner, ANT, Maven)☆179Updated 9 months ago
- instanceof operator and Visitor pattern replacement in Java 8☆156Updated 5 years ago
- Policeman's Forbidden API Checker☆358Updated 2 months ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆319Updated 3 months ago
- A Doclet that allows the use of Markdown in JavaDoc comments.☆320Updated 5 years ago
- Never debug a test again: Detailed failure reports and hassle free assertions for Java tests - Power Asserts for Java☆138Updated 6 months ago
- Java annotation for documenting the @API status of types and members in Java APIs. Maintained by the JUnit team.☆210Updated this week
- Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specif…☆204Updated last month
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆77Updated 2 years ago
- The GPars concurrency and parallelism framework for the JVM☆247Updated 2 years ago
- Healthy defaults for a standard Gradle project☆96Updated this week