Aller au contenu principal
buildradar
Sign in
Sujet · systems-programming

systems-programming

Dépôts open source suivis étiquetés systems-programming, triés par étoiles.

Dépôts
6
Total d'étoiles
23 534
Étoiles en moyenne
3 922
Part
0,00%

Sujets qui apparaissent souvent aux côtés de systems-programming sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés systems-programming.

  • kimi-k3-in-c@FareedKhan-dev

    Kimi K3 avec 2,78 billions de paramètres exécutant l'inférence sur un seul CPU avec 8,24 Go de RAM. C99 portable : sans BLAS, sans framework, sans GPU.

    7 035
  • pdfs@tpn

    Collection de PDF à orientation technique (articles, spécifications, présentations, manuels, etc.) — à parcourir et rechercher sur tpn.github.io/pdfs

    10 126+8Évolution des étoiles sur les 7 derniers jours
  • kimi-k3-in-c@FareedKhan-dev

    Kimi K3 avec 2,78 billions de paramètres exécutant l'inférence sur un seul CPU avec 8,24 Go de RAM. C99 portable : sans BLAS, sans framework, sans GPU.

    7 035+493Évolution des étoiles sur les 7 derniers jours
  • zerosharp@MichalStrehovsky

    Démonstration du potentiel du C# pour la programmation système avec la technologie de compilation ahead-of-time native de .NET.

    2 123-1Évolution des étoiles sur les 7 derniers jours
  • Vale@ValeLang

    Compilateur pour le langage de programmation Vale - http://vale.dev/

    2 008+0Évolution des étoiles sur les 7 derniers jours
  • Un livre gratuit sur le développement de logiciels système sécurisés et robustes.

    1 413+0Évolution des étoiles sur les 7 derniers jours
  • magmide@magmide

    Un langage de preuve à typage dépendant conçu pour permettre aux ingénieurs logiciels de créer du code bare metal prouvé correct.

    835+0Évolution des étoiles sur les 7 derniers jours
← Retour aux sujets