A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–24 of 29 · Most stars
Meta-programming for Swift, stop writing boilerplate code.
- metaprogramming
- swift
- codegen
- codegenerator
A fast type checker and language server for Python
▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.
- bash
- git
- statistics
- reviewer
PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the input, PathPicker presents you with a nice UI to select which files you're interested in. After that you can open them in your favorite editor or execute arbitrary commands.
Build system, successor to Buck
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Single C file, Realtime CPU/GPU Profiler with Remote Web Viewer
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
An implementation of StyleCop rules using the .NET Compiler Platform
- csharp
- linting
Find memory issues & leaks in your iOS app without instruments
- memory-heap
- heapinspector
- heap-snapshot
- arc
C++ Reflection Parser / Runtime Skeleton
- cmake
- libclang
- c-plus-plus
- meta
eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
Metadata and tooling for the OpenTofu registry
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
njt (npm jump to): a quick navigation tool for npm packages
- npm
- productivity
- shortcuts
- jump
A thin Elixir wrapper for the redbug Erlang tracing debugger.
WezTerm Lua config types for LuaLS, with Neovim and VSCode support. Also supperts various WezTerm plugins.
- lazydev
- type-annotations
- wezterm
- wezterm-lua
Build system in D, Python, Ruby, Javascript or Lua
- d
- scripting-language
- tup
- ninja
Neovim task runner: JSON/YAML + toggleterm.nvim + telescope.nvim
- lua
- neovim
- plugin
- task-runners
In the midst of all the tools out there that you can possibly use to keep track of them. Here's a "shovel" that just works to try them all out.
A CLI tool to reduce the friction between data scientists by reducing git conflicts removing notebook metadata and gracefully resolving git conflicts.
- cli
- jupyter-notebook
- helper-tool
- pydantic
Dash.app formatter for ex_doc.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.