Stars
- All languages
- ANTLR
- Assembly
- Batchfile
- BibTeX Style
- BlitzBasic
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Common Lisp
- Coq
- D
- Dhall
- Dockerfile
- Emacs Lisp
- F*
- Fluent
- Forth
- Frege
- Go
- Groff
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Makefile
- Mustache
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- PostScript
- Python
- RPM Spec
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- SmPL
- Smarty
- Solidity
- SystemVerilog
- TLA
- TeX
- TypeScript
- VCL
- Vim Script
- Vue
- Zig
- reStructuredText
An extremely fast Python linter and code formatter, written in Rust.
Test Provider for Libvirt and related virtualization backends
$mol - fastest reactive micro-modular compact flexible lazy ui web framework.
A static analyzer for Java, C, C++, and Objective-C
A quilt-like series of patches plus scripts and .spec files to produce the kernel RPM package. If you are looking for a ready-to-use kernel tree, have a look at https://github.com/openSUSE/kernel
A powerful and user-friendly binary analysis platform!
Apache Superset is a Data Visualization and Data Exploration Platform
Linux OS for Azure 1P services and edge appliances
Linux kernel crash utility NOTE: The github PRs are not accepted, please subscribe to mail list via https://lists.crash-utility.osci.io/admin/lists/devel.lists.crash-utility.osci.io/ for contributi…
Run compilers interactively from your web browser and interact with the assembly
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
WhatsApp CIDR dynamically updated.
Agda is a dependently typed programming language / interactive theorem prover.
The new Windows Terminal and the original Windows console host, all in the same place!
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
OSS-Fuzz - continuous fuzzing for open source software.
The world’s fastest framework for building websites.