GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

type-safe

Website
Wikipedia
lichess-org/lila
https://static.github-zh.com/github_avatars/lichess-org?size=40
lichess-org / lila

lichess.org: 永久免费、无广告开源的国际象棋服务器

Scalachessplay-frameworknon-profit函数式编程type-safeTypeScriptfree-softwaregamelichess
Scala 16.75 k
2 天前
https://static.github-zh.com/github_avatars/kysely-org?size=40
kysely-org / kysely

A type-safe TypeScript SQL query builder

TypeScript数据库PostgreSQLMySQLSQLitequery-buildertype-safeSQLNode.jsDenobrowserBunsql-server
TypeScript 12.15 k
7 天前
fabian-hiller/valibot
https://static.github-zh.com/github_avatars/fabian-hiller?size=40
fabian-hiller / valibot

The modular and type safe schema library for validating structural data 🤖

bundle-sizemodularParsingschematype-safeTypeScriptvalidationruntime
TypeScript 7.68 k
4 天前
https://static.github-zh.com/github_avatars/ariebovenberg?size=40
ariebovenberg / whenever

⏰ Modern datetime library for Python

DateTimemypyPythontimezonestype-safeutcrfc3339Rustcpythonpypy
Python 2.11 k
6 天前
https://static.github-zh.com/github_avatars/softwaremill?size=40
softwaremill / tapir

Rapid development of self-documenting APIs

akka-httpOpenAPI Specificationhttp4ssttpHTTPScaladeclarativetype-safe函数式编程akka文档http-clienthttp-requestshttp-serverobservabilityplay-frameworkzio
Scala 1.41 k
2 天前
fabian-hiller/modular-forms
https://static.github-zh.com/github_avatars/fabian-hiller?size=40
fabian-hiller / modular-forms

The modular and type-safe form library for SolidJS, Qwik and Preact

bundle-sizeformsperformancesolidTypeScriptvalidationtype-safeqwikformform-validationPreact.jssignals
TypeScript 1.17 k
4 个月前
leostera/caramel
https://static.github-zh.com/github_avatars/leostera?size=40
leostera / caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCamlErlang编译器Elixirfunctional-languagetype-safe
OCaml 1.08 k
2 年前
https://static.github-zh.com/github_avatars/typesafegithub?size=40
typesafegithub / github-workflows-kt

Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!

KotlinActionsdslLibraryGitHubtype-safeworkflows
Kotlin 596
6 天前
https://static.github-zh.com/github_avatars/stacksjs?size=40
stacksjs / stacks

⚛️ Modern full-stack framework. Develop powerful apps, clouds & framework-agnostic libraries—faster.

框架cloudDesktopWebappsTypeScriptLibraryprogressivetype-safe移动stacks
TypeScript 581
4 天前
https://static.github-zh.com/github_avatars/fable-hub?size=40
fable-hub / Feliz

A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

FableReactHTMLtype-safeF#dsl
F# 569
4 天前
https://static.github-zh.com/github_avatars/LeoVen?size=40
LeoVen / C-Macro-Collections

Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C

datastructuresdatastructuredequehashmapheaplinkedlistlistqueuestackCtype-safecontainersLibrary数据结构
C 567
1 年前
https://static.github-zh.com/github_avatars/p-ranav?size=40
p-ranav / structopt

Parse command line arguments by defining a struct

argument-parserC++header-onlysingle-header-libheader-library命令行界面argumentsmit-licensemodern-cpplightweightreflectioncross-platformLibrarytype-safetytype-safeargparseclap
C++ 491
8 个月前
https://static.github-zh.com/github_avatars/mpollmeier?size=40
mpollmeier / gremlin-scala

[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL

gremlinScalagraph-databasegraphtype-safegraphdb
Scala 480
3 年前
https://static.github-zh.com/github_avatars/vmanot?size=40
vmanot / SwiftDB

A modern database abstraction layer + runtime, batteries included [WIP].

数据库SwiftSwiftUIcoredataSQLattributerelationshipdslruntimewrappertype-safecodable
Swift 339
1 个月前
https://static.github-zh.com/github_avatars/japgolly?size=40
japgolly / scalacss

Super type-safe CSS for Scala and Scala.JS.

ScalaCSSscalajstype-safetype-safety
Scala 339
10 个月前
https://static.github-zh.com/github_avatars/jstachio?size=40
jstachio / jstachio

Java type safe statically compiled mustache

annotation-processorJavamustachetemplate-enginetype-safedropwizardSpring
Java 295
2 个月前
https://static.github-zh.com/github_avatars/simerplaha?size=40
simerplaha / SwayDB

Persistent and in-memory key-value storage engine for JVM that scales on a single machine.

embeddabletype-safepersistentin-memorykey-value-storestorage-engineScalaJavaKotlin数据库
Scala 292
1 年前
https://static.github-zh.com/github_avatars/purescript-hyper?size=40
purescript-hyper / hyper

Type-safe, statically checked composition of HTTP servers

PureScriptWebNode.js函数式编程type-safe
PureScript 280
4 年前
https://static.github-zh.com/github_avatars/Zaid-Ajaj?size=40
Zaid-Ajaj / Fable.Remoting

Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps

Fableclient-serverAjaxtype-safesaturnwebpart远程过程调用 (RPC)
F# 279
2 个月前
https://static.github-zh.com/github_avatars/DavidLeeds?size=40
DavidLeeds / hashmap

Templated type-safe hashmap implementation in C using open addressing and linear probing for collision resolution.

hashmapCembedded-linuxgeneric-programmingtemplatetype-safegccmap数据结构
C 273
1 个月前
loading...