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

Jmikedupont2 patch 1 #8

Open
wants to merge 45 commits into
base: main
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
45 commits
Select commit Hold shift + click to select a range
a038acd
normalizing the names
Aug 1, 2023
47bcce8
update total
Aug 1, 2023
f38cf96
first function
Aug 1, 2023
cdbe59f
shorten
Aug 1, 2023
2c5d6b4
Create Metameme.md
jmikedupont2 Aug 2, 2023
afdfbe3
Update README.md
jmikedupont2 Aug 3, 2023
ae68423
Update README.md
jmikedupont2 Aug 3, 2023
509b351
Create example1.md
jmikedupont2 Aug 3, 2023
1eb9947
Create example2.md
jmikedupont2 Aug 3, 2023
bcd08d0
Create example3.md
jmikedupont2 Aug 3, 2023
63f4117
Update example1.md
jmikedupont2 Aug 3, 2023
f0e2472
Update example1.md
jmikedupont2 Aug 3, 2023
e7cb58f
Update example1.md
jmikedupont2 Aug 3, 2023
c66452b
Update example1.md
jmikedupont2 Aug 3, 2023
5eacbc2
Update example2.md
jmikedupont2 Aug 3, 2023
b514221
Update example3.md
jmikedupont2 Aug 3, 2023
88d8dc5
Update example3.md
jmikedupont2 Aug 3, 2023
ed78e63
Update example3.md
jmikedupont2 Aug 3, 2023
f0960ba
Update example3.md
jmikedupont2 Aug 3, 2023
2a94b82
Update example3.md
jmikedupont2 Aug 3, 2023
d636aa8
adding first local run
Aug 8, 2023
f622c34
adding metacoq
Aug 9, 2023
073e5c4
updates
Aug 10, 2023
d46ffc2
reading of th names and ds desugar
Aug 13, 2023
37d1a09
Update README.md
jmikedupont2 Aug 18, 2023
1fbf2c7
vi
Aug 21, 2023
f005db8
now the discussion export is working and data is committed.
Aug 23, 2023
614f1a3
v1 of thread export
Aug 24, 2023
082dad7
now issues are better
Aug 24, 2023
3c19398
adding details
Aug 24, 2023
6ce630d
help
Aug 24, 2023
f36f245
update to json
Aug 24, 2023
30be1ee
update to json
Aug 24, 2023
cadf51f
update
Aug 24, 2023
4c036b1
adding terms
Aug 24, 2023
bb2ece3
adding new embed
Aug 25, 2023
63b51ef
capture versions
Aug 28, 2023
040fe16
restarted
Aug 29, 2023
9c06a70
updaet
Sep 7, 2023
a50d77a
update
Sep 7, 2023
62e7215
adding streamlit
Sep 7, 2023
a6ef121
update
Sep 7, 2023
0d34fe8
update
Sep 8, 2023
7a7b1cd
update
Sep 8, 2023
dc61ba2
recover crash
Sep 10, 2023
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
Prev Previous commit
Next Next commit
shorten
  • Loading branch information
mike dupont committed Aug 1, 2023

Verified

This commit was signed with the committer’s verified signature.
gastaldi George Gastaldi
commit cdbe59fac23ba6913a2683a1544d9d671494aaf9
Loading