Skip to content

Pull requests: argumentcomputer/lurk

New pull request New
10 Open 272 Closed
10 Open 272 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

Compiled Lurk
#356 opened Oct 29, 2024 by gabriel-barrett Loading…
feat: theorems demo
#353 opened Oct 27, 2024 by arthurpaulino • Draft
chore(deps): bump hashbrown from 0.14.5 to 0.15.0 in the rust-dependencies group across 1 directory dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#351 opened Oct 25, 2024 by dependabot bot Loading…
wip initial ocaml support
#348 opened Oct 25, 2024 by wwared • Draft
1
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! Filter pull requests by the default branch with base:main.