An impossible function for exhaustiveness checking
published 0.0.4 6 years agoReplaced by @calculemus/oli-hammock
published 0.0.3 6 years agoA harness for simplifying custom embedded activity creation in Carnegie Mellon's OLI system
published 4.0.3 5 years agoSome standard widgets for Carnegie Mellon's OLI
published 4.0.4 6 years agoUsing @calculemus/abt to interpret lambda-calculus
published 0.0.6 6 years agoPopulates the boilerplate for an OLI Hammock based activity
published 0.0.4 6 years agoTypescript implementation of Tutch, a TUTorial proof CHecker.
published 0.4.1 10 months agoDusa is a logic programming language that has features of both Datalog and answer set programming.
published 0.0.13 22 days ago![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)
published 0.0.11 14 days ago