Skip to content
View ziman's full-sized avatar
105 followers · 4 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report ziman

Block user

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. lightyear lightyear Public

    Parser combinators for Idris

    Idris 238 43

  2. idris-py idris-py Public

    Python backend for Idris (generates Python source, not bytecode).

    Haskell 124 12

  3. rarcrack rarcrack Public

    [unofficial fork] RAR bruteforce cracker

    C 104 42

  4. pmtu pmtu Public

    Path MTU discovery tool

    Python 37 9

  5. itt-idris itt-idris Public

    ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2

    Idris 23

  6. idris-ocaml idris-ocaml Public

    OCaml back end for Idris

    Haskell 22 3