type-safety
Erfasste Open-Source-Repos mit dem Tag type-safety, sortiert nach Sternen.
Verwandte Themen
Themen, die häufig gemeinsam mit type-safety am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit type-safety getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Typsicherer State Manager für Suchparameter in React-Frameworks – Wie useState, aber in der URL-Query-String gespeichert.
★ 10.795+19Sterne-Änderung der letzten 7 Tage - #2
👷 Die umfangreichste Typ-Utility-Bibliothek für TypeScript
★ 7.153+0Sterne-Änderung der letzten 7 Tage - #3
Sorge dafür, dass deine Funktionen etwas Aussagekräftiges, Typisiertes und Sicheres zurückgeben!
★ 4.357+0Sterne-Änderung der letzten 7 Tage - #4★ 3.276+0Sterne-Änderung der letzten 7 Tage
- #5
Checked C ist eine Erweiterung für C, die es Programmierern ermöglicht, C-Code mit Grenzwertprüfungen und verbesserter Typsicherheit zu schreiben. Das Ziel ist es, bestehenden C-Code einfach typsicher zu machen und ganze Klassen von Fehlern zu eliminieren.
★ 3.258+1Sterne-Änderung der letzten 7 Tage - #6
Coalton ist eine effiziente, statisch typisierte funktionale Programmiersprache, die Common Lisp erweitert.
★ 1.754+1Sterne-Änderung der letzten 7 Tage - #7★ 1.650+0Sterne-Änderung der letzten 7 Tage
- #8
🏷 Ein Wrapper-Typ für sichereren und ausdrucksstärkeren Code.
★ 1.629+0Sterne-Änderung der letzten 7 Tage - #9
Validierungsbibliothek mit typsicheren Schemas und Regeln
★ 1.422+0Sterne-Änderung der letzten 7 Tage - #10
🎁 Eine Compile-Time-Garantie, dass eine Collection einen Wert enthält.
★ 886+1Sterne-Änderung der letzten 7 Tage - #11
Eine abhängig typisierte Beweissprache, die es Softwareentwicklern ermöglichen soll, nachweislich korrekten Bare-Metal-Code zu schreiben.
★ 835+0Sterne-Änderung der letzten 7 Tage - #12
Veraltet
★ 817+1Sterne-Änderung der letzten 7 Tage - #13★ 767+0Sterne-Änderung der letzten 7 Tage
- #14
🌈 Typsichere Navigationsbibliothek für Jetpack Compose
★ 569+0Sterne-Änderung der letzten 7 Tage - #15★ 558+0Sterne-Änderung der letzten 7 Tage
- #16
Cadence: die ressourcenorientierte Smart-Contract-Programmiersprache des Flow-Netzwerks. Bietet fähigkeitsbasierte Sicherheit, Typsicherheit und Move-Semantik.
★ 548+0Sterne-Änderung der letzten 7 Tage - #17
Dieses Repository enthält eine modifizierte Version von clang zur Unterstützung von Checked C. Checked C ist eine Erweiterung für C, die es Programmierern ermöglicht, C-Code zu schreiben, dessen Typsicherheit vom Compiler garantiert wird.
★ 516+0Sterne-Änderung der letzten 7 Tage - #18
Full-Stack-Formulare für React Router
★ 514+0Sterne-Änderung der letzten 7 Tage - #19★ 511+0Sterne-Änderung der letzten 7 Tage
