Enrico Lumetti enrico
0 Followers · 0 Following
  • Joined on 2019-09-21
Repositories
12
 Projects Packages Public Activity Starred Repositories
3
enrico created branch main in enrico/stiletto_dart 2021-07-27 19:04:49 +02:00
enrico pushed to main at enrico/stiletto_dart 2021-07-27 19:04:49 +02:00
381ec9c717 First commit
enrico created repository enrico/stiletto_dart 2021-07-27 19:04:27 +02:00
enrico pushed to main at enrico/zircon 2021-05-29 22:05:15 +02:00
8b27c7385f Implement header token parsing
enrico created repository enrico/zircon 2021-05-27 14:40:22 +02:00
enrico created repository enrico/zig-pdf 2021-05-26 16:02:26 +02:00
enrico pushed to master at enrico/eoc 2021-05-05 20:55:41 +02:00
595f8a9db4 Add select-instructions pass
ced273944b Add conclusion and rename _main to start
44a453a062 Avoid having (read) as an atom in Cvar language
Compare 3 commits »
enrico pushed to master at enrico/eoc 2021-05-05 01:01:15 +02:00
ec8e75232e Fix link in README
enrico pushed to master at enrico/eoc 2021-05-05 00:58:06 +02:00
70295d0dcf Rename scm to rkt
69f969bb71 Add aarch64 execution infrastructure
ad82c64d4d Improve test-util
Compare 3 commits »
enrico pushed to master at enrico/eoc 2021-05-01 00:41:13 +02:00
df520e99ca Fix grammar produced by explicate-control
85dbf65800 Add test-uncover-locals
Compare 2 commits »
enrico pushed to master at enrico/eoc 2021-05-01 00:11:59 +02:00
4c67b0f18d Remove trailing space and (- x x) matching
enrico pushed to master at enrico/eoc 2021-05-01 00:08:52 +02:00
866af9c2b5 Implement and test explicate-control
bcaa281e6c Implement and test explicate-control
Compare 2 commits »
enrico pushed to master at enrico/eoc 2021-05-01 00:07:23 +02:00
bcaa281e6c Implement and test explicate-control
febb63c240 Fix bug in rco-arg and update tests
d52c9eb875 Return to simpler implementation
8c1294a56e Maybe unnecessary
c1c29c0782 Make remove-complex-opera more sophisticate (maybe more useful?)
Compare 5 commits »
enrico pushed to master at enrico/eoc 2021-04-27 16:22:42 +02:00
f1c4cb627b Add remove-complex-opera* implementation
6e12178605 Fix subtraction
95cec82371 Add uniquify implementation
e6c4b50adf Reorganize tests
Compare 4 commits »
enrico pushed to scroll at enrico/stiletto 2021-03-30 13:53:35 +02:00
4d1ecf921e WIP touch
enrico pushed to rectangular_selection at enrico/stiletto 2021-03-23 16:49:31 +01:00
9c7ef5a55b [WIP] Allow dragging selections
393394ed53 Add selection toolbar and working delete action
f71211a9e7 Add state management to display selections correctly
13bac91dbc Make 'VersionedCanvas' into a generic 'Versioned<T>' data structure
b3748a6faa Add basic axis-aligned selection tool (working but not integrated)
Compare 13 commits »
enrico pushed to scroll at enrico/stiletto 2021-03-23 16:47:44 +01:00
da81ddecce Add Viewport up/down scroll
32740f3b22 Use serde_bare and update format version
6a2460c42f Implement basics for document migration
721ad1eecf Fix notification handling when tool is already selected
b8e50acc52 Add Viewport up/down scroll
Compare 5 commits »
enrico commented on issue enrico/stiletto#8 2021-03-20 18:19:16 +01:00
Make serde_bare work

Working on master, fix for serde_bare is https://lists.sr.ht/~tdeo/serde_bare/patches/21235

enrico closed issue enrico/stiletto#8 2021-03-20 18:19:16 +01:00
Make serde_bare work
enrico opened issue enrico/stiletto#40 2021-03-19 00:18:09 +01:00
Fit strokes to a spline of cubic bezier curves