We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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 238 43
Python backend for Idris (generates Python source, not bytecode).
Haskell 124 12
[unofficial fork] RAR bruteforce cracker
C 107 40
Path MTU discovery tool
Python 36 9
ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
Idris 23
OCaml back end for Idris
Haskell 22 3