Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
47,133 repositories indexed
25–48 of 402 · Most stars
Mirror of https://gitlab.redox-os.org/redox-os/redox
Notion-style WYSIWYG editor with AI-powered autocompletion.
TranslatedMany images are hosted abroad, such as gcr. Downloading them in China is very slow and needs acceleration. Committed to providing a stable, reliable, and secure container image service that connects the whole world.
The open source embeddable online markdown editor (component).
🔵 Make TypeScript errors prettier and human-readable in VSCode 🎀
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.
Nmap - the Network Mapper. Github mirror of official SVN repository.
PHP errors for cool kids
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
📱 Display and control your Android device graphically with scrcpy.
🍼 Plugin driven WYSIWYG markdown editor framework.
A mighty CSS linter that helps you avoid errors and enforce conventions.
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
The repository host gives no description.
An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/basic-computer-games/
Official Git mirror of the SQLite source tree
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication. 🔁 Mirror of https://codeberg.org/allauth/django-allauth/
Flyway by Redgate • Database Migrations Made Easy.
Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark. You're welcome to submit pull requests there.
JSHint is a tool that helps to detect errors and potential problems in your JavaScript code
Mirror of CMake upstream repository
[mirror] Go Tools
Simple reusable React error boundary component