| arc/plot_json.py | | 3,340 | | |
| arc/dsl.py | | 7,007 | | |
| .gitmodules | | 95 | | |
| lean/string.lean | | 71 | | |
| lean/one_plus_one_is_two.lean | | 27 | | |
| lean/one_plus_one_is_three.lean | | 41 | | |
| lean/hello.lean | | 54 | | |
| lean/function.lean | | 917 | | |
| lean/format.lean | | 56 | | |
| lean/count_with_sleep.lean | | 94 | | |
| lean/count_to_ten.lean | | 63 | | |
| lean/count.lean | | 78 | | |
| lean/.gitignore | | 4 | | |
| python/inc_loop.py | | 134 | | |
| nodejs/inc_loop.js | | 150 | | |
| llm_count_mults.py | | 3,365 | | |
| rpi-pico-w/upython/thermistor_fan_control.py | | 1,210 | | |
| rpi-pico-w/upython/freenove_i2c_lcd_2004.py | | 808 | | |
| zephyr/blink_gpio.c | | 494 | | |
| rpi-pico-w/upython/led_off.py | | 67 | | |
