Skip to content
View kleinreact's full-sized avatar
7 followers · 0 following

Organizations

@clash-lang

Block or report kleinreact

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. clash-lang/clash-crypto clash-lang/clash-crypto Public

    This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).

    Haskell 2 1

  2. clash-lang/ghc-typelits-proof-assist clash-lang/ghc-typelits-proof-assist Public

    This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).

    Haskell 4 1

  3. finite finite Public

    Haskell library for finite ranges via types

    Haskell 1 1

  4. clash-finite clash-finite Public

    A class for types with only finitely many inhabitants

    Haskell

  5. reactive-systems/syfco reactive-systems/syfco Public

    Synthesis Format Conversion Tool

    Haskell 28 15

  6. reactive-systems/tsltools reactive-systems/tsltools Public

    Library and tools for the TSL specification format

    Haskell 9 13