Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Livelits #1465

Draft
wants to merge 30 commits into
base: dev
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
e658d75
In progress
7h3kk1d Oct 2, 2024
26da8bb
Add in progress test
7h3kk1d Oct 2, 2024
2d41b91
added skeleton internals, not being parsed
gcrois Oct 2, 2024
4ab9e55
Fix test
7h3kk1d Oct 7, 2024
703c554
Add MakeTerm tests to test regular hazel parsing
7h3kk1d Oct 7, 2024
e9dfe1c
Remove test editor
7h3kk1d Oct 7, 2024
6522501
Merge branch 'dev' into eeeeeq
7h3kk1d Oct 7, 2024
f0e16e7
Add example with holes
7h3kk1d Oct 7, 2024
d9fcbf0
created dummy keyword 'll' for livelit invocation
gcrois Oct 8, 2024
7870b90
added basic browser test example
gcrois Oct 9, 2024
fe188dd
Merge branch 'puppeteer-ci' into livelit to allow me to create pull r…
gcrois Oct 9, 2024
5677daa
dummy livelit with browertest example
gcrois Oct 9, 2024
312fe84
Merge remote-tracking branch 'origin/eeeeeq' into livelit
gcrois Oct 10, 2024
ff45b9d
Merge remote-tracking branch 'origin/makefile_index' into livelit
gcrois Oct 10, 2024
b9d437b
debugging tokenizer
gcrois Oct 10, 2024
269c540
Fix potential_operator_regexp to allow for livelit invocation
7h3kk1d Oct 10, 2024
20b6aef
fixed carot parsing, added livelit projector, elaboration
gcrois Oct 30, 2024
e195409
added more test livelits, patched statics, elaborator update
gcrois Nov 5, 2024
2dd93b0
fixed static typing, dynamic projector
gcrois Nov 5, 2024
a9f5774
statics progress, livelit proj can access args
gcrois Nov 7, 2024
6aca330
added mission-critical maze livelit
gcrois Nov 8, 2024
1a75592
added more livelit demos
gcrois Nov 8, 2024
d614d2f
init
gcrois Dec 11, 2024
968b46d
for now, rely on text backup
gcrois Dec 11, 2024
9abdb0b
merged with latest hazel
gcrois Dec 11, 2024
f2c718b
brought livelits up-to-date with dev
gcrois Dec 12, 2024
399fb16
merge
gcrois Dec 12, 2024
422a00c
debug refreshing
gcrois Dec 12, 2024
68c10a6
fix for #1440
gcrois Jan 17, 2025
7121a36
cleaned code
gcrois Jan 17, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ echo-html-dir:
@echo $(HTML_DIR)

serve:
cd $(HTML_DIR); python3 -m http.server 8000
cd $(HTML_DIR); python3 -m http.server 8000 --bind 127.0.0.1

serve2:
cd $(HTML_DIR); python3 -m http.server 8001
Expand Down
5 changes: 5 additions & 0 deletions browsertest/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
history/*
dist/
node_modules/
out/*
!out/.keep
3 changes: 3 additions & 0 deletions browsertest/.prettierignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
**/build/**
**/dist/**
*.test.ts
6 changes: 6 additions & 0 deletions browsertest/.prettierrc.cjs
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
module.exports = {
semi: true,
singleQuote: false,
tabWidth: 4,
useTabs: true,
};
7 changes: 7 additions & 0 deletions browsertest/mp4_to_gif.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
#!/bin/bash

filename=$1
# extract filename without extension
filename_no_ext="${filename%.*}"

ffmpeg -i $filename -vf "fps=30,scale=512:-1:flags=lanczos" $filename_no_ext.gif
Empty file added browsertest/out/.keep
Empty file.
Binary file added browsertest/output.gif
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
31 changes: 31 additions & 0 deletions browsertest/package.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
{
"name": "hazel_ci",
"version": "1.0.0",
"description": "",
"main": "tests/index.ts",
"scripts": {
"build:hazel": "cd .. && make deps && make release",
"dev:hazel": "cd .. && make serve",
"execute:host": "npm run dev:hazel > /dev/null 2>&1 & tsx src/index.ts; kill -9 $(lsof -t -i:8000)",
"execute": "tsx src/index.ts",
"test": "vitest",
"style": "prettier '**/*.ts' --write ."
},
"keywords": [],
"author": "",
"license": "ISC",
"dependencies": {
"@types/jsdom": "^21.1.7",
"jsdom": "^25.0.1",
"puppeteer": "^23.4.1",
"puppeteer-screen-recorder": "^3.0.3",
"typescript": "^5.6.3",
"vitest": "^2.1.1"
},
"devDependencies": {
"prettier": "^3.3.3",
"ts-node": "^10.9.2",
"tsx": "^4.19.2"
},
"packageManager": "[email protected]+sha512.c8180b3fbe4e4bca02c94234717896b5529740a6cbadf19fa78254270403ea2f27d4e1d46a08a0f56c89b63dc8ebfd3ee53326da720273794e6200fcf0d184ab"
}
Loading
Loading