Skip to content
View valderman's full-sized avatar


Block or Report

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.

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

Pinned Loading

  1. 4koma 4koma Public

    A TOML 1.0 parser library for Kotlin

    Kotlin 73 13

  2. selda selda Public

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

    Haskell 478 56

  3. haste-compiler haste-compiler Public

    A GHC-based Haskell to JavaScript compiler

    Haskell 1.4k 115

  4. bt-reload-headphones bt-reload-headphones Public

    Workaround for wonky Sony (possibly other) BT headphones

    Shell 28 3

  5. TeamVoss/VossII TeamVoss/VossII Public

    The source code to the Voss II Hardware Verification Suite

    Verilog 52 13

  6. ctagsymbols ctagsymbols Public

    CTags workspace symbol provider extension for Visual Studio Code

    JavaScript 6 1