Daan van Berkel issues

Results 14 issues of


                                            Daan van Berkel

Interested in an requirements.txt

Hi @narimiran First of all, thank you for being awesome. I subscribed to the [_Double Pendulum bot_](https://twitter.com/pendulum_bot) and am always thrilled when a simulation is posted. I have often looked...

select code evaluator depending on mode

I have come to rely on running code samples in presentations. Unfortunately currently only evaluating JavaScript code is supported. This change allows different evaluators to be configured by setting appropriate...

create a bower.json file

This illustrates the request in issue #26. Alternatively the dependencies to codemirror could be included.

Project is missing a Code of Coduct

A [code of conduct](https://en.wikipedia.org/wiki/Code_of_conduct) > A code of conduct is a set of rules outlining the norms, rules, and responsibilities of, and or proper practices for, an individual. Currently this...

Support a decreasing timer by configuration

Pull-request #596 introduces a new implementation for the timer. It allows for a custom formatter. With this formatter one can implement a decreasing timer. Unfortunately this requires to provide custom...

feature

keypress is deprecated

While I was working on issue #195 I have read into the Mozilla's Developer Network (MDN) documentation on the [keypress event](https://developer.mozilla.org/en-US/docs/Web/API/Document/keypress_event). It reports that the event is deprecated. > This...

help-wanted

THEOREMS.md reference `kind` executable

### Describe the bug When installing the Kind toolchain the `kind-scm` command is installed. When I read [`THEOREMS.md`][theorems] the command is named `kind`. ### To Reproduce Steps to reproduce the...

good first issue

review docs

Daan van Berkel