Stars
- All languages
- APL
- ATS
- Ada
- Agda
- Assembly
- BQN
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- D
- Emacs Lisp
- F#
- F*
- Forth
- Fortran
- FreeBASIC
- GAP
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- Macaulay2
- Makefile
- Mathematica
- Mercury
- Modelica
- OCaml
- Objective-C
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- RPC
- Racket
- Raku
- Rebol
- Red
- Rocq Prover
- Ruby
- Rust
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- YASnippet
Official electron build of draw.io
A browser extension that encrypts your communications with many websites that offer HTTPS but still allow unencrypted connections.
The Vulkan API Specification and related tools
A global repository of open address, building, and parcel data.
A command line tool to help build, run, and test web extensions
☕ GDBFrontend is an easy, flexible and extensible gui debugger.
WebExtensions for restoring and saving window / tab states
Browser extension (Firefox, Chrome, Opera, Edge) to redirect urls based on regex patterns, like a client side mod_rewrite.
Working source for the OpenDSA eTextbook project
x86-64, ARM, and RVV intrinsics viewer
Central collection of sql scripts that can help diagnose problems and expose metadata about various DBMS Products.