cypher1

View JSON Representation

Software engineer with an interest in programming language design and formal methods. I love my dog Peanut, Rust, VS Code, Sushi and, most of all, my partner.

Funding Links: https://github.com/sponsors/Cypher1

• Name: Jay Pratt
• Location: Sydney
• Company: @skfltech
• Kind: user
• Followers: 37
• Following: 124
• Total stars: 36
• Repositories count: 60
• Created at: 2022-11-12T11:54:44.200Z
• Updated at: 2025-05-16T00:53:41.016Z
• Last synced at: 2025-05-16T00:53:41.016Z

GitHub Sponsors Profile

Hi, I'm J. I'm a software engineer living in Sydney.
I work on some open source projects, first and foremost: tako, a small programming language with some neat features (like proofs).

• Current Sponsors: 0
• Past Sponsors: 0
• Total Sponsors: 0
• Minimum Sponsorship: $5.00

Featured Works