Skip to content
View RIvance's full-sized avatar
  • 0000:7C00

Highlights

  • Pro

Organizations

@atriclang

Block or report RIvance

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 37,564 16,652 Updated Mar 24, 2026

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 48,420 2,105 Updated Mar 24, 2026

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 77,782 7,540 Updated Mar 24, 2026

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.

Python 182,780 46,213 Updated Mar 24, 2026

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TypeScript 333,802 65,076 Updated Mar 24, 2026

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Zig 88,376 4,208 Updated Mar 24, 2026

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

TypeScript 21,415 2,807 Updated Mar 24, 2026

Blockbench - A low poly 3D model editor

JavaScript 5,199 406 Updated Mar 24, 2026

UNIX-like reverse engineering framework and command-line toolset

C 23,305 3,175 Updated Mar 24, 2026

The Flix Programming Language

Flix 2,614 179 Updated Mar 24, 2026

Agentic IM Chatbot infrastructure that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨

Python 27,036 1,836 Updated Mar 24, 2026

Mathematical Components

Rocq Prover 671 128 Updated Mar 24, 2026

LLM inference in C/C++

C++ 99,162 15,752 Updated Mar 24, 2026

Ghidra is a software reverse engineering (SRE) framework

Java 66,096 7,282 Updated Mar 24, 2026

A project to digitalise results from physics into Lean.

Lean 524 85 Updated Mar 24, 2026

The open source coding agent.

TypeScript 129,373 13,689 Updated Mar 24, 2026

The Z3 Theorem Prover

C++ 12,081 1,629 Updated Mar 24, 2026

✨ archlinux 简明指南 | 本指南包含从 archlinux 安装、显卡驱动、日常软件配置、多媒体制作、编程等你可能需要的全部内容 | 提供在线文档 ✨

Dockerfile 1,977 183 Updated Mar 24, 2026

Empowering everyone to build reliable and efficient software.

Rust 111,453 14,667 Updated Mar 24, 2026

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.

Python 15,505 3,614 Updated Mar 24, 2026

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Python 128,482 18,162 Updated Mar 24, 2026

A new type of shell

Rust 38,832 2,088 Updated Mar 24, 2026

Compatibility tool for Steam Play based on Wine and additional components

C++ 30,539 1,358 Updated Mar 24, 2026

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Java 21,523 1,783 Updated Mar 24, 2026

Kubernetes based Cloud Development Environments for Enterprise Teams

TypeScript 7,137 1,202 Updated Mar 24, 2026

A markup-based typesetting system that is powerful and easy to learn.

Rust 52,247 1,511 Updated Mar 24, 2026

The rustic MLIR bindings in Rust

Rust 489 68 Updated Mar 24, 2026

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Python 7,168 2,808 Updated Mar 24, 2026

A powerful and user-friendly binary analysis platform!

Python 8,562 1,158 Updated Mar 24, 2026
Next