senvas
0 followers · 0 following
  • Joined on 2024-02-15
Repositories
3
 Projects Packages Public activity Starred repositories
senvas created repository senvas/ladder-calculus 2024-07-24 11:24:58 +02:00
senvas pushed to refactor at syntaxAlchemist/lib-nested 2024-07-21 18:17:13 +02:00
e86070da50 fixes to make dual-editor with big/little endian projection work
bb846afc7c ReprTree: add detach functions & attach_to helpers for Arc<ReprTree>
Compare 2 commits »
senvas pushed to dev at syntaxAlchemist/lib-r3vi 2024-07-21 17:47:40 +02:00
2261c22f3a fix detach/attach
senvas pushed to topic-parameter-normal-form at syntaxAlchemist/lib-laddertypes 2024-07-21 17:46:30 +02:00
6c574d620f add find_semantic_subtype_matches() as potential alternative to is_semantic_subtype_of()
senvas pushed to dev at syntaxAlchemist/lib-r3vi 2024-06-24 12:24:07 +02:00
879478942a elaborated README
senvas pushed to dev at syntaxAlchemist/lib-r3vi 2024-06-24 12:21:05 +02:00
20903fe1d1 elaborated README
senvas pushed to dev at syntaxAlchemist/lib-r3vi 2024-06-24 12:19:40 +02:00
16307cd235 elaborated README
senvas pushed to dev at syntaxAlchemist/lt-core 2024-06-11 15:18:46 +02:00
72122bf4fc wip examples
541702de55 improve diagnostic formatting
Compare 2 commits »
senvas pushed to main at Fragmental/recordings 2024-06-11 12:27:13 +02:00
859912dad0 add column for scores
senvas pushed to main at Fragmental/recordings 2024-06-11 12:22:02 +02:00
4a613fa251 remove premixes (now in separate submodule)
senvas pushed to main at Fragmental/recordings 2024-06-11 12:20:52 +02:00
999ec86e9e fix href to premixes
senvas pushed to main at Fragmental/recordings 2024-06-11 12:19:07 +02:00
07efa7e83a fix href to premixes
senvas pushed to main at Fragmental/recordings 2024-06-11 12:16:26 +02:00
cdbe13118b fix href to premixes
senvas renamed repository from demos to Fragmental/premixes 2024-06-11 12:13:38 +02:00
senvas pushed to main at Fragmental/recordings 2024-06-11 12:13:19 +02:00
a93bf48c48 add premixes submodule
senvas pushed to main at Fragmental/recordings 2024-06-11 12:11:56 +02:00
6e0dd8be20 add track overview in readme
senvas pushed to main at Fragmental/recordings 2024-06-11 12:09:04 +02:00
cbd93aa607 add track overview in readme
senvas pushed to main at Fragmental/recordings 2024-06-11 12:06:01 +02:00
8080859a09 add track overview in readme
senvas pushed to main at Fragmental/recordings 2024-06-11 11:57:06 +02:00
72aabff101 add track overview in readme
senvas pushed to main at Fragmental/recordings 2024-06-11 01:56:05 +02:00
29bb79ed59 initial index