Skip to content

Parser combinators blog post #42

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.

Sign up for GitHub

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

Merged
MikaelMayer merged 29 commits into from
Dec 15, 2025
Merged

Parser combinators blog post #42

Show file tree
Hide file tree
Changes from 19 commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
337330e
Add parser combinators blog post with interactive demos
MikaelMayer Jul 25, 2025
ef90af7
Restructure parser examples with better pedagogical flow
MikaelMayer Jul 25, 2025
5235bd4
Bring back full emoji support with rich joy and anger expressions!
MikaelMayer Jul 28, 2025
e3e0781
Fix ParseResult definition and auto-parsing behavior
MikaelMayer Jul 28, 2025
cb2e4f4
Fix setInput function to properly trigger auto-parsing
MikaelMayer Jul 28, 2025
9dd8b28
Implement scalable DOM-based button initialization
MikaelMayer Jul 28, 2025
dd23621
Fix parse button functionality by restoring missing script imports
MikaelMayer Jul 28, 2025
770c0eb
Remove duplicate script imports that were breaking functionality
MikaelMayer Jul 28, 2025
3f9491c
Fix parse button selector to find correct buttons
MikaelMayer Jul 28, 2025
0fd81f3
Improve parser definitions and add mixed emotion example
MikaelMayer Jul 28, 2025
448cc55
Interactive parsing works.
MikaelMayer Jul 28, 2025
649deda
Better structur
MikaelMayer Jul 28, 2025
62146f1
Commit working
MikaelMayer Jul 31, 2025
4141848
Better version
MikaelMayer Aug 4, 2025
c9052f2
Removed reference to Rust
MikaelMayer Aug 12, 2025
acd3a64
Verified version of the blog post
MikaelMayer Aug 14, 2025
d9c093b
Upgrade ffi
robin-aws Sep 19, 2025
08c4fb5
Addressed review comments
MikaelMayer Sep 19, 2025
8d549ac
Merge branch 'parser-combinators-blog-post' of https://github.com/daf…
MikaelMayer Sep 19, 2025
98ae68a
Update _includes/parser-combinators.html
MikaelMayer Dec 8, 2025
e10abd4
Update _posts/2025-07-16-parser-combinators-in-dafny.markdown
MikaelMayer Dec 8, 2025
f9b4fe0
Merge branch 'main' into parser-combinators-blog-post
robin-aws Dec 9, 2025
97b1c05
Merge branch 'main' into parser-combinators-blog-post
MikaelMayer Dec 11, 2025
ba8e738
Update post date for parser combinators article
MikaelMayer Dec 11, 2025
c75a336
Update _includes/parser-combinators.html
MikaelMayer Dec 11, 2025
7d7022a
Comment out excluded items in _config.yml
MikaelMayer Dec 11, 2025
92c87a3
Update _includes/parser-combinators.html
MikaelMayer Dec 11, 2025
985039e
Update _includes/parser-combinators.html
MikaelMayer Dec 15, 2025
29a9236
Renamed to match today's date
MikaelMayer Dec 15, 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
3 changes: 3 additions & 0 deletions Gemfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,3 +33,6 @@ gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin]
gem "http_parser.rb", "~> 0.6.0", :platforms => [:jruby]

gem "webrick", "~> 1.8"

# Newer version necessary to build on recent macos versions
gem "ffi", "~> 1.17.2"
15 changes: 14 additions & 1 deletion Gemfile.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,13 @@ GEM
eventmachine (>= 0.12.9)
http_parser.rb (~> 0)
eventmachine (1.2.7)
ffi (1.16.3)
ffi (1.17.2-arm64-darwin)
ffi (1.17.2-x64-mingw-ucrt)
ffi (1.17.2-x86_64-darwin)
ffi (1.17.2-x86_64-linux-gnu)
forwardable-extended (2.6.0)
google-protobuf (3.25.2-arm64-darwin)
google-protobuf (3.25.2-x64-mingw-ucrt)
google-protobuf (3.25.2-x86_64-darwin)
google-protobuf (3.25.2-x86_64-linux)
http_parser.rb (0.8.0)
Expand Down Expand Up @@ -65,21 +69,30 @@ GEM
safe_yaml (1.0.5)
sass-embedded (1.69.7-arm64-darwin)
google-protobuf (~> 3.25)
sass-embedded (1.69.7-x64-mingw-ucrt)
google-protobuf (~> 3.25)
sass-embedded (1.69.7-x86_64-darwin)
google-protobuf (~> 3.25)
sass-embedded (1.69.7-x86_64-linux-gnu)
google-protobuf (~> 3.25)
terminal-table (3.0.2)
unicode-display_width (>= 1.1.1, < 3)
tzinfo (2.0.6)
concurrent-ruby (~> 1.0)
tzinfo-data (1.2025.2)
tzinfo (>= 1.0.0)
unicode-display_width (2.5.0)
wdm (0.1.1)
webrick (1.8.1)

PLATFORMS
arm64-darwin-22
x64-mingw-ucrt
x86_64-darwin-21
x86_64-linux

DEPENDENCIES
ffi (~> 1.17.2)
http_parser.rb (~> 0.6.0)
jekyll (~> 4.3.3)
jekyll-feed (~> 0.12)
Expand Down
1 change: 1 addition & 0 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ generate:
python3 builders/madoko-gen.py brittleness
python3 builders/madoko-gen.py teaching-dafny --check
python3 builders/madoko-gen.py standard-libraries --check
node builders/parser-combinators-build.js

watch-compelling:
node builders/verification-compelling-verify.js --watch _includes/verification-compelling-intro.html
Expand Down
25 changes: 14 additions & 11 deletions _config.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,14 +46,17 @@ kramdown:
# Excluded items can be processed by explicitly listing the directories or
# their entries' file path in the `include:` list.
#
# exclude:
# - .sass-cache/
# - .jekyll-cache/
# - gemfiles/
# - Gemfile
# - Gemfile.lock
# - node_modules/
# - vendor/bundle/
# - vendor/cache/
# - vendor/gems/
# - vendor/ruby/
exclude:
Comment thread
MikaelMayer marked this conversation as resolved.
Outdated
- .sass-cache/
- .jekyll-cache/
- gemfiles/
- Gemfile
- Gemfile.lock
- node_modules/
- vendor/bundle/
- vendor/cache/
- vendor/gems/
- vendor/ruby/
- assets/src/SyncFrames/
- assets/src/SyncFrames/**/*
- "**/ace-builds/**"
Loading
Loading