No description provided.

Valkyrien Skies 2

No description provided.

Python bindings for libgit2

maimai DX rating-related tools

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

A PaaS Platform for danmaku casting. See: https://en.wikipedia.org/wiki/Danmaku_subtitling

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git.

Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more

My OI Code Template

Notes about ld.so

CS771 course project

Nix Packages collection

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.

Webapp for building up Japanese Vocabulary

Academic Web Page

No description provided.

Verified Rust for low-level systems code

MCSManager Installation scripts (i18n)

轻量级，开箱即用，多实例和支持 Docker 的 Minecraft 服务端管理面板

A Verus compiler front-end for IDEs (derived from rust-analyzer)

No description provided.

Stay Hungry,Stay Stupid

A simple formula editor written in python with PyQt5.

Benchmark files for SemGuS

The sketch solver, with backend repackaged with nix

No description provided.

💿 A new way to play music

Java consumer for the SemGuS JSON intermediate representation