Skip to content

Pull requests: lurk-lab/lurk

New pull request New
15 Open 299 Closed
15 Open 299 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

chore(deps): bump the rust-dependencies group across 1 directory with 11 updates dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#398 opened Dec 9, 2024 by dependabot bot Loading…
chore: Update Rust version to nightly-2024-11-29 automated-issue
#397 opened Dec 1, 2024 by argument-ci-bot bot Loading…
Allow multiple preloads before entering REPL
#395 opened Nov 22, 2024 by finiteprods Loading…
feat: scopes
#393 opened Nov 16, 2024 by arthurpaulino Loading…
Return chips refactors
#391 opened Nov 14, 2024 by gabriel-barrett Loading…
2
Return groups
#372 opened Nov 6, 2024 by gabriel-barrett Loading…
21
WIP: Light Data
#371 opened Nov 6, 2024 by johnchandlerburnham Loading…
4 tasks
add flake.nix
#370 opened Nov 6, 2024 by johnchandlerburnham Loading…
feat: theorems demo
#353 opened Oct 27, 2024 by arthurpaulino • Draft
feat: Add macros via mlambda
#321 opened Oct 2, 2024 by wwared • Draft
[wip] Trenchcoat Loam <> Lair integration
#310 opened Sep 25, 2024 by winston-h-zhang • Draft
(wip) efficient poseidon constants
#306 opened Sep 21, 2024 by mpenciak • Draft
chore: Update for latest Sphinx
#298 opened Sep 10, 2024 by wwared • Draft
REPL more info on iterations
#175 opened Jul 27, 2024 by gabriel-barrett • Draft
Reduction count
#140 opened Jul 12, 2024 by gabriel-barrett Loading…
1
ProTip! Updated in the last three days: updated:>2024-12-09.