[go: up one dir, main page]

Skip to content
@coeffects

Coeffects

Theory for context-aware programming languages with interactive playground

Popular repositories Loading

  1. coeffects-playground coeffects-playground Public

    📝 Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

    JavaScript 59 4

  2. coeffects-thesis coeffects-thesis Public

    📔 The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.

    TeX 26 1

  3. coeffects-playground-logging coeffects-playground-logging Public

    💾 Web application for logging how users interact with the Coeffect playground

    F#

  4. coeffects-playground-analytics coeffects-playground-analytics Public

    📈 Analysing the data from coeffects playground

    F# 1

Repositories

Showing 4 of 4 repositories
  • coeffects-playground Public

    📝 Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

    coeffects/coeffects-playground’s past year of commit activity
    JavaScript 59 4 2 0 Updated May 19, 2017
  • coeffects-thesis Public

    📔 The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.

    coeffects/coeffects-thesis’s past year of commit activity
    TeX 26 1 0 0 Updated Apr 10, 2017
  • coeffects-playground-analytics Public

    📈 Analysing the data from coeffects playground

    coeffects/coeffects-playground-analytics’s past year of commit activity
    F# 0 1 0 0 Updated Aug 7, 2016
  • coeffects-playground-logging Public

    💾 Web application for logging how users interact with the Coeffect playground

    coeffects/coeffects-playground-logging’s past year of commit activity
    F# 0 0 0 0 Updated Feb 7, 2016

Top languages

Loading…

Most used topics

Loading…