Pinned Repositories
Appathon
arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
bostonevents
Codepath-Submission
Submission for Codepath iOS program
community
Kubernetes community content
CS132-Geometric-Algorithms
Lecture notes for CS132
FitBit-Group-Data-Downloader-App
FitBit Python Library
github_actions_exporter
GitHub Action Exporter
goose
Goose converts a small subset of Go to Coq
NappDrawer
A side drawer navigation container view controller for Appcelerator Titanium.
clairew's Repositories
clairew/Resources
A list of handy resources
clairew/Appathon
clairew/arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
clairew/bostonevents
clairew/Codepath-Submission
Submission for Codepath iOS program
clairew/community
Kubernetes community content
clairew/CS132-Geometric-Algorithms
Lecture notes for CS132
clairew/FitBit-Group-Data-Downloader-App
FitBit Python Library
clairew/github_actions_exporter
GitHub Action Exporter
clairew/goose
Goose converts a small subset of Go to Coq
clairew/NappDrawer
A side drawer navigation container view controller for Appcelerator Titanium.
clairew/OneTrip
clairew/parkingspaces
clairew/cwe-bench-java
A manually vetted dataset for security vulnerability detection in Java projects
clairew/perennial
Verifying concurrent crash-safe systems
clairew/proof-repair-tool
clairew/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
clairew/SlidingMenu
An Android library that allows you to easily create applications with slide-in menus. You may use it in your Android apps provided that you cite this project and include the license in your app. Thanks!