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: 21
• Following: 37
• Total stars: 4
• Repositories count: 18
• Created at: 2022-11-18T10:13:56.277Z
• Updated at: 2025-03-27T02:47:20.217Z
• Last synced at: 2025-03-27T02:47:20.217Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1