#Other language

androidx

androidx

★ 6,089

Development environment for Android Jetpack extension libraries under the androidx namespace. Synchronized with Android Jetpack's primary development branch on AOSP.

uBlockOrigin

uAssets

★ 6,009

Filter lists for uBlock Origin & uBlock Origin Lite. Any filters included in uBO's filter lists must use the extended syntax.

daattali

beautiful-jekyll

★ 5,824

Build a beautiful and simple website in literally minutes. Demo at.

tobychui

zoraxy

★ 5,454

A general purpose HTTP reverse proxy and forwarding tool. Now written in Go!

AnswerDotAI

nbdev

★ 5,316

Create delightful software with Jupyter Notebooks. Docs support LaTeX, are searchable, and are automatically hyperlinked (including out-of-the-box support for many packages via nbdev-index) Publish packages to PyPI and conda as well as tools to simplify package releases.

microsoft

SynapseML

★ 5,247

Simple and Distributed Machine Learning

braedonsaunders

codeflow

★ 5,202

Paste any GitHub URL → interactive architecture map. See how files connect, find what breaks if you change something. No install, no accounts - runs entirely in your browser.

HugoBlox

hugo-theme-academic-cv

★ 5,062

Academic portfolio that boosts citations. AI generates pages, you own as Markdown. BibTeX auto-import, Jupyter, LaTeX, slides, visual block editor, free to host forever. 学术主页，AI 生成，Markdown 拥有.

AdguardTeam

AdguardFilters

★ 4,507

AdGuard Content Filtering maintains ad-tracker blocklists, update-safe filter lists, and deployment-friendly distribution workflows for privacy-oriented users.

anilbeesetti

nextplayer

★ 4,375

An Android native video player. Next Player Next Player is an Android native video player written in Kotlin.

dotnet

fsharp

★ 4,327

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio.

OxygenCobalt

Auxio

★ 4,273

A simple, rational music player for android. Built off of modern media playback libraries, Auxio has superior library support and listening quality compared to other apps that use outdated Android functionality.

ben-manes

gradle-versions-plugin

★ 4,085

Gradle plugin to discover dependency updates. Gradle Versions Plugin This plugin reports which of your build's dependencies, plugins, and Gradle itself have newer versions available, in the spirit of the Maven Versions Plugin.

FStarLang

FStar

★ 3,104

A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].

szTheory

exifcleaner

★ 2,680

Cross-platform desktop GUI app to clean image metadata. ExifCleaner Desktop app to clean metadata from images, videos, PDFs, and other files.

mirage-project

mirage

★ 2,490

Mirage Persistent Kernel: Compiling LLMs into a MegaKernel. Quickstart Mirage allows you to compile LLMs from the Hugging Face model zoo into a megakernel using just a few dozen lines of Python-mainly to define the kernel s inputs and outputs.

FoedusProgramme

Gramophone

★ 2,290

A sane music player built with media3 and material design library that is following android's standard strictly.

rust-lang

rustc-dev-guide

★ 1,912

A guide to how rustc works and how to contribute to it. This is a collaborative effort to build a guide that explains how rustc works.

teorth

analysis

★ 1,908

A Lean companion to Analysis I. For instance, Chapter 2 develops a theory of the natural numbers independent of Mathlib, but all subsequent chapters will use the Mathlib natural numbers instead.

tyron12233

CodeAssist

★ 1,877

Experimental IDE for building Android applicatons on Android. CodeAssist A lightweight, on-device IDE that edits *and builds* Android & Java projects, no laptop, no Gradle daemon.** What is CodeAssist?