mathprocessing
  • Joined on 2022-02-18

Updated 2023-04-13 12:12:02 +00:00

Проект на typescript + nodejs в котором мы тестируем как работают тесты, настройка скриптов npm и думаем как создать минимальный проект на typescript с максимально простой и прозрачной поддержкой тестов.

Updated 2023-01-15 16:45:47 +00:00

Just learning notes + some ideas how to make dafny a little better

Updated 2022-10-19 18:55:22 +00:00

Updated 2022-08-14 19:18:59 +00:00

Simple version of akinator. (Experimental)

Updated 2022-08-14 08:23:48 +00:00

Repo that contains examples of learning Coq theorem prover and stuff related to it.

Updated 2022-06-21 15:42:08 +00:00

Neural networks from scratch (from sentdex)

Updated 2022-05-08 13:30:00 +00:00

Tutorial created using idea of "lesson" ~ "some git branch"

Updated 2022-05-08 13:00:27 +00:00

Javascript sketch for demonstrating possible ideas how to solve shortest path problem in continuous 2d space with cost function `n(x, y)`.

Updated 2022-05-08 11:21:28 +00:00

Example typescript npm package

Updated 2022-03-14 18:25:24 +00:00

Updated 2022-02-25 13:06:46 +00:00

Updated 2022-02-21 09:12:13 +00:00

Browser game for learning purposes.

Updated 2022-02-21 08:23:56 +00:00