Highlights
- Pro
- All languages
- ANTLR
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Coq
- Dart
- Dockerfile
- Flix
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Makefile
- Mathematica
- Nix
- OCaml
- OpenQASM
- PHP
- PureScript
- Python
- Rich Text Format
- Rocq Prover
- Rust
- Scala
- Shell
- Svelte
- TeX
- TypeScript
- Typst
- Zig
- mcfunction
Starred repositories
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Blockbench - A low poly 3D model editor
UNIX-like reverse engineering framework and command-line toolset
Agentic IM Chatbot infrastructure that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨
Ghidra is a software reverse engineering (SRE) framework
A project to digitalise results from physics into Lean.
✨ archlinux 简明指南 | 本指南包含从 archlinux 安装、显卡驱动、日常软件配置、多媒体制作、编程等你可能需要的全部内容 | 提供在线文档 ✨
Empowering everyone to build reliable and efficient software.
Annotate better with CVAT, the industry-leading data engine for machine learning. Used and trusted by teams at any scale, for data of any scale.
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Compatibility tool for Steam Play based on Wine and additional components
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Kubernetes based Cloud Development Environments for Enterprise Teams
A markup-based typesetting system that is powerful and easy to learn.
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
A powerful and user-friendly binary analysis platform!