Skip to content

Pull requests: lem-project/lem

New pull request New
16 Open 1,323 Closed
16 Open 1,323 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

update docs/default-keybindings.md 20260428-170422
#2157 opened Apr 28, 2026 by github-actions Bot Loading…
update docs/default-keybindings.md 20260428-170241
#2156 opened Apr 28, 2026 by github-actions Bot Loading…
update docs/default-keybindings.md 20260424-171326
#2149 opened Apr 24, 2026 by github-actions Bot Loading…
update docs/default-keybindings.md 20260424-171201
#2148 opened Apr 24, 2026 by github-actions Bot Loading…
WIP: Add lem-tutor interactive tutorial extension
#2144 opened Apr 20, 2026 by Catsquotl Contributor • Draft
1
15
chore(deps-dev): bump vite from 7.1.11 to 7.3.2 in /frontends/server/frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#2129 opened Apr 6, 2026 by dependabot Bot Loading…
chore(deps-dev): bump picomatch from 4.0.3 to 4.0.4 in /frontends/server/frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#2126 opened Mar 26, 2026 by dependabot Bot Loading…
Add LaTeX and BibTeX modes with tested highlighting and indentation
#2117 opened Mar 3, 2026 by tani Contributor • Draft
2
skk-mode: okurigana behaviour
#2116 opened Mar 2, 2026 by tani Contributor Loading…
5
chore(deps-dev): bump rollup from 4.46.2 to 4.59.0 in /frontends/server/frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#2115 opened Feb 28, 2026 by dependabot Bot Loading…
Remove binary files
#1964 opened Sep 18, 2025 by mldulaney Loading…
11
Templates (Continued)
#1919 opened Aug 14, 2025 by cianoc Contributor • Draft
[WIP] smart-parens-mode
#1916 opened Aug 13, 2025 by daninus14 • Draft
18
Improve fuzzy completion
#1915 opened Aug 13, 2025 by vindarel Collaborator • Draft
1
Lem intelligence
#1745 opened Jan 13, 2025 by cxxxr Member • Draft
1
Templates Feature
#1282 opened Jan 28, 2024 by garlic0x1 Collaborator Loading…
@cianoc
15
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.