Skip to content
View valderman's full-sized avatar

Organizations

@ninja-group

Block or report valderman

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. 4koma 4koma Public

    A TOML 1.0 parser library for Kotlin

    Kotlin 81 18

  2. selda selda Public

    A type-safe, high-level SQL library for Haskell

    Haskell 478 59

  3. haste-compiler haste-compiler Public

    A GHC-based Haskell to JavaScript compiler

    Haskell 1.5k 107

  4. TeamVoss/VossII TeamVoss/VossII Public

    The source code to the Voss II Hardware Verification Suite

    Verilog 56 13

  5. koditoriet/totpm koditoriet/totpm Public

    A TPM-backed command line TOTP client. Like Google Authenticator in your terminal.

    Rust 2

  6. koditoriet/fenris-authenticator koditoriet/fenris-authenticator Public

    Really secure passkey provider and TOTP authenticator

    Kotlin 1