repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
replikativ/datahike | ClojureJavaJavaScript | 1.6k | +2 | 91 | 0 |
xtdb/xtdb | ClojureJavaKotlin | 2.4k | 0 | 156 | 0 |
github/codeql-go | 460 | 0 | 161 | 0 | |
juji-io/datalevin | ClojureJavaOther | 960 | 0 | 52 | 0 |
eth-sri/securify2 | SolidityPythonOther | 541 | 0 | 112 | 0 |
modus-continens/modus | RustPythonShell | 273 | 0 | 8 | 0 |
inconvergent/cl-grph | Common LispOther | 41 | 0 | 1 | 0 |
luc-tielen/eclair-lang | HaskellOther | 178 | 0 | 11 | 0 |
cozodb/cozo | RustC++C | 2.7k | 0 | 74 | 0 |