rf

macOS 菜单栏应用，用于启动 iOS  和 Android 🤖 模拟器

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

暂无项目描述

开放数据，50余条金融数据。 提供超过50个金融数据(台股主导)，每天更新 https://finmind.github.io/

适用于 Parse 平台的苹果 SDK（iOS、macOS、watchOS、tvOS）

热门游戏的开源克隆项目

一份精选的 Clojure 优秀库与资源列表

🚀 使用 JavaScript 与 TypeScript 构建的原生 iOS 和 Android 应用

专为 Neovim 设计的异步语法检查插件，与内置语言服务器协议支持形成互补。

💥💻💥 一种数据并行的函数式编程语言

AuthPass - 基于Flutter的全平台密码管理器。兼容Keepass 2.x（KDBX 3和KDBX 4）。

专为现代C++设计的极速内存JSON与反射库，支持BEVE、CBOR、CSV、MessagePack、TOML、YAML、EETF格式

使用 Vim 符号列显示差异对比

Vinix 致力于用 V 编程语言编写现代、快速且有用的操作系统

💻构建一套代码库，即可在Windows、Linux及Web平台上获得原生UI体验 （注：严格遵循技术翻译准则，采用"代码库"对应"codebase"，"原生UI"对应"native UI"，并保持原文的简洁技术风格。平台名称按行业标准保留英文大写格式，使用"及"连接多平台体现技术文档的严谨性。）

Markdown架构决策记录

AWS官方Java软件开发工具包 - 第2版

北极风蓝黑色调简洁优雅的Vim主题

API Platform 的服务端组件：快速构建超媒体与 GraphQL API

官方PowerShell文档源代码

本代码库用于 Azure SDK for Java 的主动开发。

Chrome 操作系统的包管理器

Zerocopy让零成本内存操作变得轻而易举。我们编写`unsafe`代码，这样您就不必了。

基于Matrix Rust SDK和Jetpack Compose的安卓Matrix即时通讯应用