Skip to content
View tdidriksen's full-sized avatar
10 followers · 1 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Organizations

@konscript

Block or report tdidriksen

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 Loading

  1. rEBON rEBON Public

    The rEBON project is reviving the EBON project started to Joseph Kiniry some ten years ago. See website for further info.

    Eiffel 2

  2. copatterns copatterns Public

    A repository for a project concerning copatterns.

    TeX 2

  3. BON-ES-Report BON-ES-Report Public

    A report describing the work of integrating textual BON into EiffelStudio

    Eiffel 1

  4. SASP-Project SASP-Project Public

    A project in the Advanced Models and Programs (SASP) course at the IT University of Copenhagen.

    Coq

  5. Idris-dev Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell

  6. tdidriksen.github.io tdidriksen.github.io Public

    Forked from barryclark/jekyll-now

    Build a Jekyll blog in minutes, without touching the command line.

    CSS