Adriano Zambrana Marchetti
AZMCode
A developer who really likes cryptography, Rust and Deno/Typescript.
udi-treasure-hunt
No description provided.
PureScriptUpdated 6/1/2025
git-credential-bw
Rewrite of git-credential-bw-shell in Typescript.
TypeScriptUpdated 4/1/2025
koka
Koka language compiler and interpreter
Updated 1/1/2025
idris2-playground
Idris2 Playground for learning how dependent types work
DockerfileUpdated 11/10/2024
purescript-deep-over
Newtype lifting and unlifting for arbitrary types in Purescript
PureScriptUpdated 10/20/2024