Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 Java Smt Open Source Projects

Open source projects categorized as Java Smt
Openpnp ⭐ 1,501
Open Source SMT Pick and Place Hardware and Software
most recent commit 4 months ago
Renaissance ⭐ 284
The Renaissance Benchmark Suite
most recent commit 4 months ago
Java Smt ⭐ 162
JavaSMT - Unified Java API for SMT solvers.
dependent packages 3total releases 19most recent commit 3 months ago
Formulog ⭐ 137
Datalog with support for SMT queries and first-order functional programming
most recent commit 6 months ago
Monosat ⭐ 95
MonoSAT - An SMT solver for Monotonic Theories
total releases 2most recent commit a year ago
Nopol ⭐ 83
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
most recent commit 2 years ago
Kryptonite For Kafka ⭐ 78
Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography library for Apache Kafka® offering a Kafka Connect SMT, ksqlDB UDFs, and a standalone HTTP API service. It's an ! UNOFFICIAL ! community project
most recent commit 4 months ago
Smtinterpol ⭐ 57
SMTInterpol interpolating SMT solver
dependent packages 1total releases 17most recent commit 4 months ago
Theta ⭐ 44
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
most recent commit 5 months ago
Smt ⭐ 38
Simple Multi-Touch (SMT) Toolkit
most recent commit 8 years ago
Mailer Plugin ⭐ 35
This plugin allows you to configure email notifications for build results
most recent commit 7 months ago
Smaccm ⭐ 31
most recent commit 5 years ago
Ksmt ⭐ 28
Kotlin/Java API for various SMT solvers
dependent packages 10total releases 15most recent commit 4 months ago
Kafka Connect Transform Tojsonstring ⭐ 26
transform-to-json-string is a Single Message Transformation (SMT) for Apache Kafka® Connect to convert a given Connect Record to a single JSON String. It's an UNOFFICIAL community project.
most recent commit 5 months ago
Ucam Smt ⭐ 20
Cambridge SMT System
most recent commit 7 years ago
Spider ⭐ 15
Automated data race detection from a distributed trace via SMT constraint solving
most recent commit 2 years ago
Sociallink ⭐ 14
Alignments between knowledge bases and social media
most recent commit 5 years ago
Kafka Connect Wrap Smt ⭐ 12
Single Message Transform (SMT) to wrap key, record and meta data of kafka messages into a single struct.
most recent commit 9 months ago
Expandjsonsmt ⭐ 8
Kafka Connect SMT to expand JSON field
most recent commit 3 years ago
Csdn Gitchat Dl4j Course ⭐ 7
Code for CSDN GitChat Deeplearning4j Course
most recent commit 5 years ago
Tarski ⭐ 5
A Platform for Automated Analysis of Traceability (WP3)
most recent commit 6 years ago
The 3 Most Depended On Java Smt Open Source Projects
Ksmt ⭐ 28
Kotlin/Java API for various SMT solvers
dependent packages 10total releases 15latest release November 03, 2023most recent commit 4 months ago
Java Smt ⭐ 162
JavaSMT - Unified Java API for SMT solvers.
dependent packages 3total releases 19latest release June 02, 2023most recent commit 3 months ago
Smtinterpol ⭐ 57
SMTInterpol interpolating SMT solver
dependent packages 1total releases 17latest release June 08, 2023most recent commit 4 months ago
The 4 Latest Releases In Java Smt Open Source Projects
Ksmt ⭐ 28
Kotlin/Java API for various SMT solvers
dependent packages 10total releases 15latest release November 03, 2023most recent commit 4 months ago
Smtinterpol ⭐ 57
SMTInterpol interpolating SMT solver
dependent packages 1total releases 17latest release June 08, 2023most recent commit 4 months ago
Java Smt ⭐ 162
JavaSMT - Unified Java API for SMT solvers.
dependent packages 3total releases 19latest release June 02, 2023most recent commit 3 months ago
Monosat ⭐ 95
MonoSAT - An SMT solver for Monotonic Theories
total releases 2latest release October 31, 2022most recent commit a year ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
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.