ch1bo
I am freelance software engineer, get excited about functional programming languages and currently work on projects in the blockchain space.
Funding Links: https://github.com/sponsors/ch1bo
- Name: Sebastian Nagel
- Location: Somewhere in the Alps, Austria
- Kind: user
- Followers: 117
- Following: 7
- Total stars: 176
- Repositories count: 75
- Created at: 2022-11-08T17:21:20.767Z
- Updated at: 2025-03-28T11:51:15.705Z
- Last synced at: 2025-03-28T11:51:15.705Z
GitHub Sponsors Profile
Hi, I'm Sebastian and usually I'm working on Haskell codebases, be it in the robotics or fintech industry, creating research prototypes or full-fledged services using functional programming & property-based testing, but you are probably here because of one of my side-projects.
Maybe even because you use my Garmin Widget for second factor authentication? Projects like this are a great joy to work on. They start with creating something you are missing or solving a problem you have yourself and it turns out it's useful to others as well! Still, it's a side-project and need maintenance beside my day job.
I have set up this Github sponsors account to give a voice to you, dear user, and help me keep up the motivation for maintaining and improving the project you care about. Maybe even implementing something you always wished for? 🙂
“No one is useless in this world who lightens the burdens of another.”
― Charles Dickens
- Current Sponsors: 5
- Past Sponsors: 0
- Total Sponsors: 5
- Minimum Sponsorship: $1.00
Featured Works
ch1bo/garmin-otp-authenticator
Garmin ConnectIQ Widget for One Time Passwords (HOTP / TOTP / Steam Guard)
Language: Monkey C - Stars: 90ch1bo/ambicam
Extracting LED Colors for "AmbiLight"-Clones using a RaspberryPi, the PiCamera and OpenCV
Language: Python - Stars:ch1bo/servant-exceptions
Extensible exceptions for servant
Language: Haskell - Stars: 22ch1bo/nginx-jwt
C module to issue JSON Web Tokens (JWT) as JSON Web Signature (JWS) payload (RFC 7519)
Language: C - Stars: 15Active Sponsors
Past Sponsors
Sponsor Breakdown
- User: 3
- Organization: 1