Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Parser combinators for Idris
Idris 235 45
Python backend for Idris (generates Python source, not bytecode).
Haskell 126 12
[unofficial fork] RAR bruteforce cracker
C 94 42
Path MTU discovery tool
Python 31 8
OCaml back end for Idris
Haskell 22 3
ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
Idris 22
Seeing something unexpected? Take a look at the GitHub profile guide.
ziman
Follow
ziman
Follow
