Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for java smt
java
x
smt
x
21 search results found
Openpnp
⭐
1,501
Open Source SMT Pick and Place Hardware and Software
Renaissance
⭐
284
The Renaissance Benchmark Suite
Java Smt
⭐
162
JavaSMT - Unified Java API for SMT solvers.
Formulog
⭐
137
Datalog with support for SMT queries and first-order functional programming
Monosat
⭐
95
MonoSAT - An SMT solver for Monotonic Theories
Nopol
⭐
83
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
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
Smtinterpol
⭐
57
SMTInterpol interpolating SMT solver
Theta
⭐
44
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Smt
⭐
38
Simple Multi-Touch (SMT) Toolkit
Mailer Plugin
⭐
35
This plugin allows you to configure email notifications for build results
Smaccm
⭐
31
Ksmt
⭐
28
Kotlin/Java API for various SMT solvers
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.
Ucam Smt
⭐
20
Cambridge SMT System
Spider
⭐
15
Automated data race detection from a distributed trace via SMT constraint solving
Sociallink
⭐
14
Alignments between knowledge bases and social media
Kafka Connect Wrap Smt
⭐
12
Single Message Transform (SMT) to wrap key, record and meta data of kafka messages into a single struct.
Expandjsonsmt
⭐
8
Kafka Connect SMT to expand JSON field
Csdn Gitchat Dl4j Course
⭐
7
Code for CSDN GitChat Deeplearning4j Course
Tarski
⭐
5
A Platform for Automated Analysis of Traceability (WP3)
Related Searches
Java Spring (21,350)
Java Spring Boot (11,982)
Java Video Game (8,093)
Java Gradle (8,072)
Java Docker (6,180)
Java Database (6,015)
Java Mysql (5,954)
Java Sdk (5,864)
Javascript Java (5,468)
Java Rest (4,956)
1-21 of 21 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.