#
Lists (20)
Starred repositories
An Open Source Machine Learning Framework for Everyone
Cairo is the first Turing-complete language for creating provable programs for general computation.
🌐 🔌 The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
Mirror of https://gitlab.redox-os.org/redox-os/redox
The Microsoft community Windows Package Manager manifest repository
⚓ A collection of JavaScript tools written in Rust.
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
📚 Collaborative cheatsheets for console commands
Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.
Protocol Buffers - Google's data interchange format
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Build cross-platform desktop apps with JavaScript, HTML, and CSS
The official repository for ROOT: analyzing, storing and visualizing big data, scientifically
ImageMagick is a free, open-source software suite for creating, editing, converting, and displaying images. It supports 200+ formats and offers powerful command-line tools and APIs for automation, …
Nix User Repository: User contributed nix packages [maintainer=@Pandapip1]
🎧 Open source music client! Available for both desktop & mobile!
Bear is a tool that generates a compilation database for clang tooling.
Production-Grade Container Scheduling and Management
Lean 4 programming language and theorem prover
An open source re-implementation of RollerCoaster Tycoon 2 🎢
Bayesian Modeling and Probabilistic Programming in Python
Build your personal knowledge base with Trilium Notes