A C++ library for debugging purposes that can print any variable, even user-defined types.

A high-performance algorithmic trading platform and event-driven backtester

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

A GitHub Action that implements smart caching for rust/cargo projects

JDK main-line development https://openjdk.org/projects/jdk

🔎 Open source distributed and RESTful search engine.

An Operating System for Building Small Computers

🐰 Bencher - Continuous Benchmarking

automatially find crashes in the rust compiler & tooling

DuckDB is an analytical in-process SQL database management system

Migrate C code to Rust

A PowerPoint add-in to insert LaTeX equations into PowerPoint presentations on Windows and Mac

This repository showcases various advanced techniques for Retrieval-Augmented Generation (RAG) systems. RAG systems combine information retrieval with generative models to provide accurate and cont…

An efficient, reliable parser for CommonMark, a standard dialect of Markdown

Simple tracing (mark and sweep) garbage collector for Rust

The Serenity Operating System 🐞

自动化反编译微信小程序，小程序安全评估工具，发现小程序安全问题，自动解密，解包，可还原工程目录，支持Hook，小程序修改

A library for incremental computations

Converts books written in Markdown to HTML, LaTeX/PDF and EPUB

Kubescape is an open-source Kubernetes security platform for your IDE, CI/CD pipelines, and clusters. It includes risk analysis, security, compliance, and misconfiguration scanning, saving Kubernet…

The Feldera Incremental Computation Engine

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Just One Single History

A framework for writing plugins that integrate with the Rust compiler

A tool for catching binary incompatibility in Scala

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

High-level tracing language for Linux

A Toolchain to make Build and Run eBPF programs easier

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

radius2 is a fast binary emulation and symbolic execution framework using radare2