-
terrarium Public
Forked from nichtraunzer/terrariumDocker based developer environment for the ODS AWS/AZURE Quickstarter
Shell Apache License 2.0 UpdatedSep 17, 2024 -
-
comply Public
Forked from strongdm/complyCompliance automation framework, focused on SOC2
Go Apache License 2.0 UpdatedDec 27, 2021 -
-
bsi-tls Public
Webserver TLS configurations inspired by BSI Mindeststandard TLS v2.1
Kotlin Apache License 2.0 UpdatedApr 27, 2021 -
kluecksknirpse.github.io Public
Forked from kluecksknirpse/kluecksknirpse.github.ioHTML UpdatedFeb 16, 2019 -
spring-framework Public
Forked from spring-projects/spring-frameworkThe Spring Framework
Java UpdatedFeb 2, 2015 -
fpinscala Public
Forked from fpinscala/fpinscalaCode, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Scala MIT License UpdatedJan 2, 2015 -
-
redis Public
Forked from redis/redisRedis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
C BSD 3-Clause "New" or "Revised" License UpdatedMar 12, 2014 -
-
-
-
enum Public
Existential boolean QE and projected model counting using cardinality constraints and a SAT solver
-
{{ message }}