Lists (20)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ActionScript
- Agda
- Assembly
- AutoHotkey
- Awk
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- D
- Dart
- Emacs Lisp
- Erlang
- F#
- Fluent
- Frege
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- OpenQASM
- Org
- PHP
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- ReScript
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- YASnippet
- Zig
Starred repositories
📚 Freely available programming books
分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.
The Web framework for perfectionists with deadlines.
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)
The Python micro framework for building web applications.
Financial data platform for analysts, quants and AI agents.
🚀AI拟声: 5秒内克隆您的声音并生成任意语音内容 Clone a voice in 5 seconds to generate arbitrary speech in real-time
Automatic SQL injection and database takeover tool
⚡ A Fast, Extensible Progress Bar for Python and CLI
Distributed Task Queue (development branch)
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
Install and Run Python Applications in Isolated Environments
Bayesian Modeling and Probabilistic Programming in Python
Automated Machine Learning with scikit-learn
Automatic CPU speed & power optimizer for Linux
A full fledged GUI integration for the award winning open-source android screen mirroring system -- scrcpy located on https://github.com/genymobile/scrcpy/ by @rom1v
Nix User Repository: User contributed nix packages [maintainer=@Pandapip1]
😎 Curated list of awesome software for numerical analysis and scientific computing
An automated theorem prover for first-order logic.