Skip to content
@pomagma

Pomagma

Tools for Extensional Probabilistic λ-calculus

Popular repositories Loading

  1. puddle puddle Public

    Forked from fritzo/puddle

    A reactive coding environment built on Pomagma

    JavaScript 1

  2. pomagma pomagma Public

    Forked from fritzo/pomagma

    An inference engine for extensional λ-calculus

    C

  3. puddle-syntax puddle-syntax Public

    Forked from fritzo/puddle-syntax

    Syntax tools for the Puddle coding environment

    JavaScript

  4. puddle-corpus puddle-corpus Public

    Puddle-corpus

    JavaScript

  5. puddle-hub puddle-hub Public

    Puddle-hub

    JavaScript

  6. puddle-socket puddle-socket Public

    puddle-socket

    JavaScript

Repositories

Showing 6 of 6 repositories
  • puddle Public Forked from fritzo/puddle

    A reactive coding environment built on Pomagma

    pomagma/puddle’s past year of commit activity
    JavaScript 1 MIT 1 1 0 Updated Dec 11, 2014
  • puddle-syntax Public Forked from fritzo/puddle-syntax

    Syntax tools for the Puddle coding environment

    pomagma/puddle-syntax’s past year of commit activity
    JavaScript 0 MIT 1 0 0 Updated Dec 11, 2014
  • pomagma Public Forked from fritzo/pomagma

    An inference engine for extensional λ-calculus

    pomagma/pomagma’s past year of commit activity
    C 0 MIT 2 0 0 Updated Oct 26, 2014
  • puddle-corpus Public

    Puddle-corpus

    pomagma/puddle-corpus’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Sep 19, 2014
  • puddle-socket Public

    puddle-socket

    pomagma/puddle-socket’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Sep 19, 2014
  • puddle-hub Public

    Puddle-hub

    pomagma/puddle-hub’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Sep 19, 2014

Top languages

Loading…

Most used topics

Loading…