#Autre langage

androidx

androidx

★ 6 089

Environnement de développement pour les bibliothèques d'extensions Android Jetpack sous l'espace de noms Androidx. Synchronisé avec la branche de développement principale d'Android Jetpack sur AOSP.

uBlockOrigin

uAssets

★ 6 009

Filtrer les listes pour uBlock Origin et uBlock Origin Lite. Tous les filtres inclus dans les listes de filtres d'uBO doivent utiliser la syntaxe étendue.

daattali

beautiful-jekyll

★ 5 824

Créez un site Web beau et simple en quelques minutes seulement. Démo sur.

tobychui

zoraxy

★ 5 454

Un outil de proxy inverse et de transfert HTTP à usage général. Maintenant écrit en Go!

AnswerDotAI

nbdev

★ 5 316

Créez un logiciel délicieux avec Jupyter Notebooks. Les documents prennent en charge LaTeX, sont consultables et sont automatiquement liés par des hyperliens (y compris la prise en charge prête à l'emploi de nombreux packages via nbdev-index). Publiez des packages sur PyPI et conda ainsi que des outils pour simplifier les versions de packages.

microsoft

SynapseML

★ 5 247

microsoft/SynapseML offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.

braedonsaunders

codeflow

★ 5 202

braedonsaunders/codeflow offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.

HugoBlox

hugo-theme-academic-cv

★ 5 062

Portfolio académique qui stimule les citations. L'IA génère des pages que vous possédez en tant que Markdown. Importation automatique BibTeX, Jupyter, LaTeX, diapositives, éditeur de blocs visuels, hébergement gratuit pour toujours. 学术主页，AI 生成，Markdown 拥有.

AdguardTeam

AdguardFilters

★ 4 507

AdGuard Content Filtering gère des listes de blocage de suivi des publicités, des listes de filtres sécurisées pour les mises à jour et des flux de distribution conviviaux pour le déploiement pour les utilisateurs soucieux de la confidentialité.

anilbeesetti

nextplayer

★ 4 375

Un lecteur vidéo natif Android. Next Player Next Player est un lecteur vidéo natif Android écrit en Kotlin.

dotnet

fsharp

★ 4 327

Le compilateur F#, la bibliothèque principale F#, le service de langage F# et l'intégration des outils F# pour Visual Studio.

OxygenCobalt

Auxio

★ 4 273

Un lecteur de musique simple et rationnel pour Android. Construit à partir de bibliothèques de lecture multimédia modernes, Auxio offre une prise en charge des bibliothèques et une qualité d'écoute supérieures à celles d'autres applications utilisant des fonctionnalités Android obsolètes.

ben-manes

gradle-versions-plugin

★ 4 085

Plugin Gradle pour découvrir les mises à jour des dépendances. Plugin Gradle Versions Ce plugin indique quelles dépendances, plugins et Gradle lui-même ont des versions plus récentes disponibles, dans l'esprit du plugin Maven Versions.

FStarLang

FStar

★ 3 104

Ce projet transforme « 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]. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

szTheory

exifcleaner

★ 2 680

Ce projet transforme « Cross-platform desktop GUI app to clean image metadata. ExifCleaner Desktop app to clean metadata from images, videos, PDFs, and other files. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

mirage-project

mirage

★ 2 490

Mirage Persistent Kernel : compilation de LLM dans un MegaKernel. Quickstart Mirage vous permet de compiler des LLM du zoo modèle Hugging Face dans un méga-noyau en utilisant seulement quelques dizaines de lignes de Python, principalement pour définir les entrées et sorties du noyau.

FoedusProgramme

Gramophone

★ 2 290

Un lecteur de musique sensé construit avec Media3 et une bibliothèque de conception matérielle qui suit strictement les normes d'Android.

rust-lang

rustc-dev-guide

★ 1 912

Ce projet transforme « 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. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

teorth

analysis

★ 1 908

Un compagnon Lean de l'Analyse I. Par exemple, le chapitre 2 développe une théorie des nombres naturels indépendante de Mathlib, mais tous les chapitres suivants utiliseront à la place les nombres naturels Mathlib.

tyron12233

CodeAssist

★ 1 877

Ce projet transforme « 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? » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.