joernio / joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
See what the GitHub community is most excited about today.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Gluten is a middle layer responsible for offloading JVM-based SQL engines' execution to native engines.
Open-source high-performance RISC-V processor
An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs
Scala language server with rich IDE features 🚀
SonicBOOM: The Berkeley Out-of-Order Machine
Source code for the X Recommendation Algorithm
Apache Spark - A unified analytics engine for large-scale data processing
Reference applications for funding, operating, and incentivizing the use of a decentralized, public Canton synchronizer. Includes the Amulet reference application for creating native payment utilities for Canton synchronizers and Daml applications.
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
The Community Maintained High Velocity Web Framework For Java and Scala.
An open protocol for secure data sharing
Apache Kyuubi is a distributed and multi-tenant gateway to provide serverless SQL on data warehouses and lakehouses.
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
ZIO — A type-safe, composable library for async and concurrent programming in Scala
Berkeley's Spatial Array Generator
The Scala 3 compiler, also known as Dotty.
Snowflake Snowpark Java & Scala API
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
sbt, the interactive build tool
A type-checker for Erlang