misc scripts & junk of varying usefulness
Zaktualizowano 2024-01-11 14:33:38 -05:00
forked from https://github.com/diagrams/svg-builder
Zaktualizowano 2023-12-23 12:27:18 -05:00
Zaktualizowano 2023-12-19 20:09:28 -05:00
Zaktualizowano 2023-11-05 06:10:51 -05:00
basic test framework for idris 2
Zaktualizowano 2023-09-23 11:39:21 -04:00
messing with the badge thing from cccamp 2023
Zaktualizowano 2023-08-19 07:19:29 -04:00
static gallery site generator for niss.website
Zaktualizowano 2023-08-06 00:50:11 -04:00
in mercury. and bqn again sometimes
Zaktualizowano 2022-12-21 18:16:30 -05:00
Zaktualizowano 2022-10-06 11:30:54 -04:00
vim syntax highlighting for beluga
Zaktualizowano 2022-07-15 08:56:37 -04:00
maude syntax highlighting for vim [incomplete]
Zaktualizowano 2022-03-22 23:46:25 -04:00
vim syntax highlighting for bqn
Zaktualizowano 2022-03-15 10:38:57 -04:00
not that one, another one. just some reexports from the stdlib
Zaktualizowano 2021-07-09 02:23:39 -04:00