検索

VIM is an improved version of the editor "vi", one of the standard text editors on UNIX systems.

Quipu is a new programming language of the lisp family with a focus on concurrency, lock-free data structures and expresiveness. Quipu is meant to be easy to use, but powerful and extensible as well.

JPL - "Jakob's Programming Language" (working title).
This programming language is developed to compile to c and to implement c-bindings easily while at the same time being as safe as possible (i.e. implementing strong static type-checking with explicitly distinguishing between partial resp. total functions).
It combines elements from C++, Haskell, OCaml and Rust.
While it's type-system won't be as fancy as Haskell's in the foreseeable future,
the language will neither introduce Haskell's pitfalls (e.g. space-leaks).
JPL is self-hosting from the first week of it's development (built starting from a small 1k core that compiled itself to c) as an additional test of it's capabilities.

Remastering from Manjaro GNOME User

Manjaro is a user-friendly Linux distribution based on the independently developed Arch operating system. Within the Linux community, Arch itself is renowned for being an exceptionally fast, powerful, and lightweight distribution that provides access to the very latest cutting edge - and bleeding edge - software. However, Arch is also aimed at more experienced or technically-minded users. As such, it is generally considered to be beyond the reach of those who lack the technical expertise (or persistence) required to use it.

Developed in Austria, France, and Germany, Manjaro provides all the benefits of the Arch operating system combined with a focus on user-friendliness and accessibility. Available in both 32 and 64 bit versions, Manjaro is suitable for newcomers as well as experienced Linux users. For newcomers, a user-friendly installer is provided, and the system itself is designed to work fully 'straight out of the box'.

An open-source x64/x32 debugger for windows. Used to research malware or to aid in the process of reverse engineering, without having the source code available.

Back To Stock fastboot flashable files of Oxygen OS for OnePlus 7 Pro GM21AA variant

The easiest way to get flashable firmware zip files for Xiaomi devices!
XiaomiFirmwareUpdater is a script which provides firmware packages for every Xiaomi devices.
It's an automated script, running on Linux server every six hours, extracting firmware from MIUI official ROMs, both Global and China, and uploads it to multi-servers.

Website: https://xiaomifirmwareupdater.com/

Github: https://github.com/XiaomiFirmwareUpdater/

Telegram: https://telegram.me/XiaomiFirmwareUpdater/