Explore projects
-
Updated
-
-
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Updated
-
-
STAMP / unit-test-ampli
OtherSpeed up the detection of behavioral regressions on your code applying to your test cases STAMP unit test amplification.
Updated -
Updated
-
https://www.hobisohbet.net rastgele görüntülü sohbet odaları parasız yabancı canlı chat yeni kameralı sohbet siteleri https://www.ircask.com en iyi ücretsiz görüntülü sohbet siteleri canlı görüntülü sohbet uygulamaları
Updated -
Decoder / trace_recovery_tool
BSD 2-Clause "Simplified" LicenseThis projects is used to build traceability links between Decoder artifacts
Updated -
LemonLDAP NG / website-landing-page
Creative Commons Attribution 3.0 UnportedHTML5 page for https://www.lemonldap-ng.org/
Updated -
-
STAMP / stamp-services
OtherSTAMP Services - Enhance your quality amplifying your test cases and your Docker-based test configurations
Updated -
bonita / rest-api-extension-user-information-example
GNU General Public License v2.0 or laterUpdated -
Updated
-
spoon / spoon
CeCILL-C Free Software License AgreementUpdated -
Updated
-
Updated
-
reachout / crypt-component
GNU General Public License v3.0 or laterUpdated -
CLIF runtime, load injectors, probes and GUIs. The clif-legacy repo is the reference version to use, still maintained and extended, as long as the Proactive CLIF version is not fully functional.
Updated