Stars
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Resource of IMO(International Mathematical Olympiad)
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
RTL Design and Implementation of High Performance Algorithm Logic Units
A fast Rust based tool to serialize text-based files in a repository or directory for LLM consumption
VSCode extension that demonstrates the use of large language models (LLMs) for active debugging of programs
New repo collection for NVIDIA Cosmos: https://github.com/nvidia-cosmos
🤗 smolagents: a barebones library for agents that think in code.
An overview of LLMs for cybersecurity.
🪄 Create rich visualizations with AI
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Highlight and capture the web in your favorite browser. The official Web Clipper extension for Obsidian.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A tool for analyzing LLVM bitcode using Datalog.
A Linux version of the Procmon Sysinternals tool
An instruction trace visualisation tool for dynamic program analysis
Generator of ANSI C tracers which output CTF data streams