DISTRIBUTED INFRASTRUCTURE
HyperRaft
Exploring the foundations of distributed consensus and replication.
Maven Central · 0.1.0 metadata verifiedExplore project →ABOUT SMARTSCITY
The people behind the foundations.
Smartscity — 必赢科技 — is a technology brand focused on software engineering, distributed infrastructure, engineering quality, and developer productivity.
Engineering, with purpose.
We develop software around two connected needs: dependable foundations for applications, and useful tools for the people who build and use them. Our work spans consensus and replication concepts, integration-testing quality, Markdown workflows, and vocabulary learning.
This website introduces our work and provides routes to project documentation, public source code, and releases where available. Each project page distinguishes published capabilities from concepts that do not yet have public implementation evidence.
Company & official channels
Smartscity is a technology brand operated by 必赢科技（北京）有限公司.
- Technology brand
- Smartscity / 必赢科技
- English translation · for reference
- Biying Technology (Beijing) Co., Ltd.This translation is provided for readability. It is not a verified registered English name.
- Country / region of incorporation
- China (mainland)
- liyunlong@smartscity.com
- Official website
- https://www.smartscity.com
- GitHub organization
- https://github.com/smartscity
What we build.
Explore the existing project introductions, technical concepts, and public repositories. Availability and capabilities are described on each project page.
A PLACE FOR YOUR WORDS
Polarbear
A local-first Markdown workspace for writing, diagrams, and Git-based knowledge.
Public release · macOS & WindowsExplore project →ENGINEERING CONFIDENCE
QualitySphere
A project focused on engineering quality and integration testing.
Project introduction · Public details pendingExplore project →WORDS THAT STAY WITH YOU
Polarbear Vocab
Build your vocabulary, offline and at your own pace.
Public release · macOSExplore project →How we approach the work.
Performance
Efficiency designed into the critical path. Measure first, then make every operation count.
Reliability
Design for interruptions, recovery, and the conditions that happy-path demos leave out.
Correctness
Make guarantees explicit. Verify the boundaries, not just the expected outcomes.
Developer experience
Powerful ideas deserve clear interfaces. Make the right path approachable.
Open source
Share source and documentation where projects are public, welcome specific questions, and keep claims connected to evidence.
Start a conversation.
For company information, business inquiries, or questions about our work, use our official contact page.
Contact Smartscity →