Similar repositories to havelund/logfire:

• havelund/logfire github similar
• havelund/logscope github similar
• havelund/dejavu github similar
• havelund/tracecontract github similar
• sbt/contraband github similar
• emina/kodkod github similar
• softprops/np github similar
• ForthHub/discussion github similar
• nwf/dyna github similar
• jsuereth/sbt-in-action-examples github similar
• kframework/kore github similar
• nau/jscala github similar
• nunoplopes/alive github similar
• ifesdjeen/hashed-wheel-timer github similar
• skilldrick/easyforth github similar
• thomasjball/PyExZ3 github similar
• kframework/k github similar
• sbt/sbt-web github similar
• kframework/evm-semantics github similar
• the-little-prover/j-bob github similar
• javapathfinder/jpf-core github similar
• precog/platform github similar
• xerial/sbt-pack github similar
• typelevel/kittens github similar
• schaloner/deadbolt-2 github similar
• MicrosoftResearch/Naiad github similar
• AlloyTools/org.alloytools.alloy github similar
• uwdb/Cosette github similar
• souffle-lang/souffle github similar
• cvc5/cvc5 github similar
• IUCompilerCourse/Essentials-of-Compilation github similar
• digital-asset/daml github similar
• p2t2/figaro github similar
• eligosource/eventsourced github similar
• hexene/LocalVPN github similar
• typelevel/squants github similar
• lightbend/scala-logging github similar
• GaloisInc/cryptol github similar
• vmware/differential-datalog github similar
• typelevel/spire github similar