Contracts for Java
☆156Nov 16, 2019Updated 6 years ago
Alternatives and similar repositories for cofoja
Users that are interested in cofoja are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example of matching Scala's case class expressiveness in Java 8, Java 15 and Java 17☆14Apr 24, 2025Updated last year
- Annotation for structural pattern matching using VAVR☆17Updated this week
- Groovy AST Transformation to allow writing Jasmin code (JVM bytecode) directly on groovy files☆13Nov 24, 2019Updated 6 years ago
- ☆11Feb 24, 2016Updated 10 years ago
- 🎭 Actor library for Haskell☆29Feb 16, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Java compiler elements (symbol and type tables) to perform code semantic analysis☆10Apr 8, 2019Updated 7 years ago
- Parsing Expression Grammar parser making heavy use of Java 8 lambda expressions☆10Oct 29, 2016Updated 9 years ago
- Concept of Energy Meter for Robot Framework. It is a custom listener for the Robot Framework, for Energy Consumption Testing (EC Testing)…☆13Mar 14, 2025Updated last year
- A teaching aid library for formal languages and compiler courses☆13May 5, 2026Updated 4 months ago
- Extension module for vertx-groovy adding methods and syntaxic sugar☆14May 23, 2016Updated 10 years ago
- For decoding log files☆22Jun 7, 2021Updated 5 years ago
- Spatial join, written in Java.☆17Oct 13, 2020Updated 5 years ago
- A Linux graphical shell written in modern Java with the new Foreign Function & Memory APIs☆41Apr 1, 2024Updated 2 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 10 years ago
- Start docker containers from your junit tests☆54Nov 5, 2018Updated 7 years ago
- Open source card game☆19Jan 9, 2016Updated 10 years ago
- Automatically exported from code.google.com/p/write-it-once☆18Oct 28, 2015Updated 10 years ago
- Command line script for creating a PNG punchcard graph of your bash history.☆23Nov 4, 2021Updated 4 years ago
- Google Guice Extensions☆47Mar 2, 2026Updated 6 months ago
- JavaFuzz is a java classes fuzzer based on the the Java Reflection API☆23Mar 24, 2016Updated 10 years ago
- ☆10Jul 23, 2026Updated last month
- Color your output using Ansi Escape codes☆18Nov 15, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- An open source unit testing framework for BPEL including test coverage calculation and mocking facilities☆16Jul 7, 2022Updated 4 years ago
- An I/O analysis tool that helps you analyze the I/O operations of your Java application. It addresses problems such as leaking file handl…☆12Feb 28, 2020Updated 6 years ago
- Simple Rust version of vertx tcp eventbus, tcp server using zookeeper cluster manager☆24May 24, 2024Updated 2 years ago
- Visual automata-based programming for React☆17Nov 4, 2018Updated 7 years ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- A rule for the Maven enforcer plugin to check for vulnerable artifacts within a project.☆42Oct 13, 2020Updated 5 years ago
- Erlang-style Actors for Squeak. http://tonyg.github.io/squeak-actors/☆14Aug 28, 2025Updated last year
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A public chat room built using Java Spring Framework 4, Web Sockets and STOMP messaging.☆10Feb 24, 2016Updated 10 years ago
- A simple card game as an illustration of JDK 9 modules with Maven.☆14Feb 2, 2024Updated 2 years ago
- basic given when then test helper [Java 8]☆25Jan 31, 2019Updated 7 years ago
- Plugin to automatically fix sonar violations☆23Aug 20, 2022Updated 4 years ago
- 084@Terraform云资源管理☆10Jun 25, 2025Updated last year
- DMN engine written in Scala☆42Updated this week
- Lightweight path selector for searching Rust code☆17May 22, 2023Updated 3 years ago