❤
npm
Sign UpSign In

calculemus

Calculemus LLC

Packages 15

  • @calculemus/impossible

    An impossible function for exhaustiveness checking

    calculemus
    published version 0.0.4, 7 years ago

  • @calculemus/oli-embedded-harness

    Replaced by @calculemus/oli-hammock

    calculemus
    published version 0.0.3, 7 years ago

  • @calculemus/oli-hammock

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

    calculemus
    published version 4.0.3, 6 years ago

  • @calculemus/oli-widgets

    Some standard widgets for Carnegie Mellon's OLI

    calculemus
    published version 4.0.4, 6 years ago

  • @calculemus/abt

    Abstract Binding Trees

    calculemus
    published version 0.1.3, 7 years ago

  • @calculemus/abt-lambda

    Using @calculemus/abt to interpret lambda-calculus

    calculemus
    published version 0.0.6, 7 years ago

  • @calculemus/jaco

    JavaScript C0 Parser & Tools

    calculemus
    published version 0.0.18, 6 years ago

  • create-oli-hammock

    Populates the boilerplate for an OLI Hammock based activity

    calculemus
    published version 0.0.4, 6 years ago

  • tutch

    Typescript implementation of Tutch, a TUTorial proof CHecker.

    calculemus
    published version 0.4.1, 2 years ago

  • tutch-worker

    A webworker interface/wrapper for Tutch.

    calculemus
    published version 0.2.0, 2 years ago

  • tutch-codemirror

    CodeMirror-based editor environment for Tutch.

    calculemus
    published version 0.1.3, 6 years ago

  • @calculemus/aconsole

    React console

    calculemus
    published version 0.0.2, 6 years ago

  • batsat

    A CatSAT implementation for the browser 🦇

    calculemus
    published version 0.0.2, 2 years ago

  • dusa

    Dusa is an implementation of [finite-choice logic programming](https://arxiv.org/abs/2405.19040), which takes ideas from logic programming in both Datalog and answer set programming.

    calculemus
    published version 0.1.6, 5 months ago

  • sketchzone

    ![Build passing](https://github.com/robsimmons/sketchzone/actions/workflows/compile.yml/badge.svg) [![NPM Module](https://img.shields.io/npm/v/sketchzone.svg)](https://www.npmjs.com/package/sketchzone)

    calculemus
    published version 0.0.11, a year ago