senvas

0 followers · 0 following

• Joined on 2024-02-15
• • 

Projects Packages Public activity Starred repositories

502 contributions in the last 12 months

Less

More

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc 2025-06-14 13:22:20 +02:00

4674e75e99 morphism base: new syntax

64e8b96c92 adapt to changes in lib-laddertypes

6897b5e274 adapt to changed MorphismInstance in lib-laddertypes

Compare 3 commits »

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-14 12:56:16 +02:00

41c4428c89 type: preliminarily forbit \; in types

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-14 12:34:48 +02:00

831aefb112 .

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-13 17:37:23 +02:00

7f844f2a2d morphism graph: cycle detection: exclude trivial loop through Id Step

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-13 17:27:44 +02:00

e2f7a363d7 morphism graph: make all structure reprs optional

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-13 17:10:52 +02:00

93634c2656 add shift_variables() and in Morphism trait add ctx()

5af2b59278 pretty: fix dict call to get_varname

1e29653c61 avoid unwrap() due to unspecified struct repr; default to type-id magic for native representation

Compare 3 commits »

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:42:57 +02:00

34f5ccafb3 triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:39:30 +02:00

806135eb8e triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:37:39 +02:00

d94438ff99 triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:33:29 +02:00

67f446198c triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:30:02 +02:00

d101b1f0db triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:13:24 +02:00

21646a9209 add highlights; test on simplified grammar

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-12 07:07:39 +02:00

3e1fee2ee4 morphism graph: add structure representations

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-12 05:07:14 +02:00

821d233094 rename morphism modules

senvas deleted branch master from syntaxAlchemist/zed-laddertypes 2025-06-11 16:25:15 +02:00

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-11 15:10:41 +02:00

c73818c620 dictionary: add get_name() & get_varid()

41e425cfd9 test

d5ef37a433 move heuristic into morphism graph module

b41cef5df3 rewrite morphism search

10306eebb6 add Id as case for MorphismInstance

Compare 8 commits »

senvas pushed to topic-heuristic at syntaxAlchemist/lib-laddertypes 2025-06-11 15:09:54 +02:00

c9b4d1c908 move estimated_cost() to member of MorphismType

8212174cc4 initial cost heuristic for morphism types & accelerated graph search (wip)

Compare 2 commits »

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-11 15:08:27 +02:00

e82dbac64e dictionary: add get_name() & get_varid()

b89fcac7ed test

a4f6b1efb3 move heuristic into morphism graph module

b6add2b1a2 rewrite morphism search

4ab07df9f2 add Id as case for MorphismInstance

Compare 6 commits »

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-11 15:02:34 +02:00

4be2e8f939 dictionary: add get_name() & get_varid()

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-11 13:33:26 +02:00

ce140fef21 test