jan

4 Followers · 0 Following

• https://janp.me
• Joined on 2018-01-15

Repositories

25

Projects Packages Public Activity Starred Repositories

2

jan pushed to rs_ext at jan/klamath 2024-12-20 19:59:08 -08:00

12357cd974 use klamath_rs_ext if available

jan pushed to master at jan/klamath 2024-12-20 19:52:22 -08:00

4ffb87d361 Include repr() of data in error msg

jan pushed to path_improvements at jan/masque 2024-12-12 23:48:04 -08:00

572c32ad1b fixup! add the toolctx() context manager to simplify temporary retool() calls

adfaddc369 clear out some old TODOs

03c4769714 add the toolctx() context manager to simplify temporary retool() calls

f7e1e8a9eb use cast() to clarify some type checker complaints

c3b281a4f0 fixup! add ok_connections arg to allow plugging mismatched ports without warnings

Compare 10 commits »

jan pushed to master at jan/masque 2024-12-12 23:47:35 -08:00

9917355bb0 speed up prune_empty() on large patterns

jan pushed to master at jan/k2t 2024-12-09 14:44:12 -08:00

a739ce985c Add indentation to nested entries