Lists (30)
Sort Name ascending (A-Z)
aerospace
art
biotechnology
cli-tools-and-libs
cloud-infra-devops
concurrency
data-engineering
embedded-and-robotics
finance
frontend-and-ui
functional-programming
games-and-gamedev
graphics
Rendering, visualization, video editing and arthpc-and-ai
learning-resources
libs
medicine-and-diagnosis
networking-and-distributed-sys
os-and-systems-dev
parsers-compilers-tracers
quantum-computing
runtimes
scientific
security-and-cryptography
silicon
simulations
theoretical-computer-science
utilities
web
web3
- All languages
- Agda
- Assembly
- Astro
- AutoIt
- Awk
- Ballerina
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Erlang
- F*
- Fortran
- Frege
- Futhark
- GAP
- GDScript
- GDShader
- Gnuplot
- Go
- Go Template
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Modelica
- Motoko
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Pascal
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- Pug
- Python
- QML
- R
- Ragel
- Reason
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sail
- Scala
- Scheme
- ShaderLab
- Shell
- Smarty
- Solidity
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- hoon
Starred repositories
The fastest path to AI-powered full stack observability, even for lean teams.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
OBS Studio - Free and open source software for live streaming and screen recording
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTMP, RTMP…
debauchee / barrier
Forked from deskflow/deskflowOpen-source KVM software
Zstandard - Fast real-time compression algorithm
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
UNIX-like reverse engineering framework and command-line toolset
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
A time-series database for high-performance real-time analytics packaged as a Postgres extension
Open-source keyboard firmware for Atmel AVR and Arm USB families
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
NVIDIA Linux open GPU kernel module source
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.
A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals…
A distribution of Nginx with some advanced features
FreeRDP is a free remote desktop protocol library and clients
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.