Skip to content

Pull requests: digama0/mm0

New pull request New
18 Open 106 Closed
18 Open 106 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix bug where a definition's bound variables were not properly added
#198 opened Apr 28, 2026 by abnormalhare Loading…
Bump node-forge from 1.3.2 to 1.4.0 in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#196 opened Mar 29, 2026 by dependabot Bot Loading…
Bump picomatch from 2.3.1 to 2.3.2 in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#194 opened Mar 25, 2026 by dependabot Bot Loading…
Fix null ServerOptions error for helix-editor
#193 opened Mar 20, 2026 by zetanumbers Loading…
Bump minimatch from 3.0.5 to 3.1.5 in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#192 opened Mar 17, 2026 by dependabot Bot Loading…
Bump serialize-javascript, terser-webpack-plugin and copy-webpack-plugin in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#191 opened Mar 6, 2026 by dependabot Bot Loading…
Update flake.lock
#190 opened Mar 2, 2026 by gleachkr Loading…
Bump minimatch from 3.1.2 to 3.1.5 in /vscode-mm0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#189 opened Feb 28, 2026 by dependabot Bot Loading…
Bump ajv from 6.12.6 to 6.14.0 in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#187 opened Feb 22, 2026 by dependabot Bot Loading…
Bump qs from 6.14.0 to 6.14.2 in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#186 opened Feb 14, 2026 by dependabot Bot Loading…
Bump qs from 6.10.3 to 6.14.2 in /vscode-mm0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#185 opened Feb 12, 2026 by dependabot Bot Loading…
Bump webpack from 5.103.0 to 5.105.0 in /m0e dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#184 opened Feb 7, 2026 by dependabot Bot Loading…
Bump bytes from 1.10.1 to 1.11.1 in /mm0-rs dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#183 opened Feb 3, 2026 by dependabot Bot Loading…
Add SK-combinators example with custom reduction tactic
#181 opened Jan 10, 2026 by zetanumbers Loading…
feat: mm0-hs -> update to latest stack (but server command is disabled)
#176 opened Dec 21, 2025 by srghma Loading…
towards lean4
#146 opened Feb 6, 2025 by olof-darinsky • Draft
Compilation on Haiku
#144 opened Sep 25, 2024 by Sylvain78 Contributor Loading…
Some examples can't be compiled by mm0-rs
#108 opened Oct 12, 2022 by joliss Contributor Loading…
5
ProTip! Exclude everything labeled bug with -label:bug.