❤
npm
Sign UpSign In

calculemus

Calculemus LLC

Packages 14

  • @calculemus/impossible

    An impossible function for exhaustiveness checking

    calculemus
    published 0.0.4 6 years ago

  • @calculemus/oli-embedded-harness

    Replaced by @calculemus/oli-hammock

    calculemus
    published 0.0.3 6 years ago

  • @calculemus/oli-hammock

    A harness for simplifying custom embedded activity creation in Carnegie Mellon's OLI system

    calculemus
    published 4.0.3 5 years ago

  • @calculemus/oli-widgets

    Some standard widgets for Carnegie Mellon's OLI

    calculemus
    published 4.0.4 5 years ago

  • @calculemus/abt

    Abstract Binding Trees

    calculemus
    published 0.1.3 6 years ago

  • @calculemus/abt-lambda

    Using @calculemus/abt to interpret lambda-calculus

    calculemus
    published 0.0.6 6 years ago

  • @calculemus/jaco

    JavaScript C0 Parser & Tools

    calculemus
    published 0.0.18 5 years ago

  • create-oli-hammock

    Populates the boilerplate for an OLI Hammock based activity

    calculemus
    published 0.0.4 5 years ago

  • tutch

    Typescript implementation of Tutch, a TUTorial proof CHecker.

    calculemus
    published 0.4.1 9 months ago

  • tutch-worker

    A webworker interface/wrapper for Tutch.

    calculemus
    published 0.2.0 9 months ago

  • tutch-codemirror

    CodeMirror-based editor environment for Tutch.

    calculemus
    published 0.1.3 5 years ago

  • @calculemus/aconsole

    React console

    calculemus
    published 0.0.2 5 years ago

  • batsat

    A CatSAT implementation for the browser 🦇

    calculemus
    published 0.0.2 6 months ago

  • dusa

    Dusa is a logic programming language that has features of both Datalog and answer set programming.

    calculemus
    published 0.0.12 2 months ago