cxandru

View JSON Representation

FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

• Name: Cass Alexandru
• Location: Kaiserslautern
• Company: RPTU Kaiserslautern-Laundau
• Kind: user
• Followers: 24
• Following: 37
• Total stars: 5
• Repositories count: 18
• Created at: 2022-11-18T10:13:56.277Z
• Updated at: 2025-06-16T18:56:14.417Z
• Last synced at: 2025-06-16T18:56:14.417Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1