https://github.com/pingbird/pingbird
https://github.com/pingbird/pingbird
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/pingbird/pingbird
- Owner: pingbird
- Created: 2023-10-13T14:13:57.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2023-10-13T15:57:34.000Z (almost 3 years ago)
- Last Synced: 2025-11-15T18:04:08.816Z (8 months ago)
- Size: 1.95 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# A wild ping appears!
You may know me from my work on Flutter or one of many other projects:
- [Boxy](https://boxy.wiki) - A popular package for creating complex layouts in Flutter.
- [Puro](https://puro.dev) - A high-tech version manager for Flutter.
- [DZ3](https://github.com/pingbird/dz3) - High level Dart bindings to the Z3 theorem prover.
- [Notes](https://notes.tst.sh) - A place for my personal notes.
I also do a lot of low-level systems, robotics, cybersecurity, proof assistants, and cloud infrastructure.