Design by Contract for Java
☆12Apr 13, 2013Updated 12 years ago
Alternatives and similar repositories for Contract4J5
Users that are interested in Contract4J5 are comparing it to the libraries listed below
Sorting:
- A PHP encoder and decoder for Rison, the compact JSON-like data format optimized for URIs.☆23Feb 10, 2015Updated 11 years ago
- Newman reporter allowing to decorate pull request with postman collection results.☆10Nov 2, 2023Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- homework in SCUT_SE☆12Nov 9, 2021Updated 4 years ago
- This is my implementation of the Payroll Case Study from the book Agile Software Development by Robert C. Martin (a.k.a. Uncle Bob).☆14Sep 8, 2020Updated 5 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- ☆13Updated this week
- This is a python script to loop through all your repos from your API token and update review counts and enforce admins off the master bra…☆10Jan 6, 2022Updated 4 years ago
- newtype and refinement (refined) type for Scala 3☆14Feb 25, 2026Updated last week
- README.md☆19Updated this week
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- A script to copy your Highlights from an Amazon Kindle device☆14Apr 27, 2024Updated last year
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- ☆10Jun 9, 2016Updated 9 years ago
- A media access mapping framework☆11Jan 24, 2026Updated last month
- List of PHP behaviours you don't expect☆11Jul 11, 2019Updated 6 years ago
- Sonno is a lightweight PHP framework based loosely on Jersey, a Java ReST framework reference implementation of the JAX-RS specification.☆15Feb 26, 2013Updated 13 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated this week
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- This is an opensource Telegram Bot built based on bash. Follow the instructions given on README.md to clone this project.☆10Aug 9, 2021Updated 4 years ago
- A bash deployment automation tool☆22Jul 10, 2018Updated 7 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- SHA and Shake for scala☆13Feb 13, 2026Updated 2 weeks ago
- ☆19Updated this week
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Plugin to produce locales dbs☆11Updated this week
- ☆10Feb 25, 2026Updated last week
- Command line laziness redefined! This module is language agonistic. It can store any command line statement as shortcuts!☆12Mar 27, 2015Updated 10 years ago
- ☆11Oct 8, 2024Updated last year
- running thrift application on swoole☆10May 17, 2019Updated 6 years ago
- Redmine plugin that displays contents of file named "README.md" at repository tab☆22Jul 28, 2023Updated 2 years ago
- BotValue is a Python chatbot to translate Natural Language Requests into DB query. This version has an anonymized database of Partners.☆11May 31, 2017Updated 8 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- SBT Plugins For ZIO Projects☆12Updated this week
- Fully automated SSL Secure Site activation☆20Jan 4, 2019Updated 7 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Live deployment of the remix IDE (alpha)☆14Jan 16, 2026Updated last month