Skip to content
View fxdpntthm's full-sized avatar
54 followers · 38 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@kind2-mc

Block or report fxdpntthm

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. type-checkertype-checkerPublic

    Simple implementation of ST LC type checker in Haskell

    Haskell 13

  2. lambda-sigmalambda-sigmaPublic

    Explicit Substitution Calculus with DeBrujin indices

    Haskell 2

  3. h-reversih-reversiPublic

    Haskell blank canvas reversi game

    Haskell 1

  4. masters-thesismasters-thesisPublic

    Masters thesis work

    TeX 2

  5. kind2kind2Public

    Forked from kind2-mc/kind2

    Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

    OCaml

  6. IowaFP/ghcIowaFP/ghcPublic

    A slightly more Glorious Haskell Compiler

    Haskell 2