issues
search
argumentcomputer
/
lurk
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://docs.argument.xyz
MIT License
46
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Allow multiple preloads before entering REPL
#395
finiteprods
opened
1 day ago
0
chore(deps): bump the rust-dependencies group across 1 directory with 5 updates
#394
dependabot[bot]
opened
5 days ago
0
feat: scopes
#393
arthurpaulino
opened
1 week ago
0
chore: Update Rust version to `nightly-2024-11-13`
#392
argument-ci-bot[bot]
closed
1 week ago
0
Return chips refactors
#391
gabriel-barrett
opened
1 week ago
0
feat: `env` and `bind` built-ins
#390
arthurpaulino
closed
1 week ago
0
Report proof sizes
#389
adr1anh
opened
1 week ago
0
`microchain-get-log` meta command
#388
arthurpaulino
opened
1 week ago
0
Verification benchmarks
#387
gabriel-barrett
closed
1 week ago
0
!(inspect) should print in current package.
#386
porcuquine
opened
1 week ago
0
chore(deps): bump the rust-dependencies group across 1 directory with 2 updates
#385
dependabot[bot]
closed
5 days ago
1
Vi mode
#384
gabriel-barrett
closed
1 week ago
3
Fixed meta command summaries
#383
gabriel-barrett
closed
1 week ago
4
unbound var error should report the name of the unbound var
#382
porcuquine
opened
2 weeks ago
0
fix: check for error on `def` meta command
#381
arthurpaulino
closed
2 weeks ago
0
fix: use correct arguments and env for chain transitions
#380
arthurpaulino
closed
2 weeks ago
0
fix: memoize dag of reduced call args
#379
arthurpaulino
closed
2 weeks ago
0
support destructuring Funs
#378
porcuquine
opened
2 weeks ago
0
add proof-manipulation to Lurk CLI
#377
porcuquine
opened
2 weeks ago
1
print commitments with uniform width
#376
porcuquine
opened
2 weeks ago
0
chore: change `call`-based meta commands
#375
arthurpaulino
closed
2 weeks ago
0
chore(deps): bump hashbrown from 0.14.5 to 0.15.1 in the rust-dependencies group across 1 directory
#374
dependabot[bot]
closed
1 week ago
1
chore: properly detect flawed data in `ZDag`
#373
arthurpaulino
closed
2 weeks ago
0
Return groups
#372
gabriel-barrett
opened
2 weeks ago
0
WIP: Light Data
#371
johnchandlerburnham
opened
2 weeks ago
0
add flake.nix
#370
johnchandlerburnham
opened
2 weeks ago
0
chore(deps): bump the rust-dependencies group across 1 directory with 3 updates
#369
dependabot[bot]
closed
2 weeks ago
1
feat: persisting microchain server data
#368
arthurpaulino
closed
2 weeks ago
0
chore: drop `Tuple100`-related API
#367
arthurpaulino
closed
2 weeks ago
0
loop detected in recursive function
#366
porcuquine
closed
2 weeks ago
1
Fix applyx.
#365
porcuquine
closed
2 weeks ago
0
escape quotes in strings and characters
#364
porcuquine
opened
2 weeks ago
0
refactor: Rename top-level crate to `lurk`
#363
samuelburnham
closed
2 weeks ago
0
chore(deps): bump the rust-dependencies group across 1 directory with 4 updates
#362
dependabot[bot]
closed
2 weeks ago
1
Lair compiler steps
#361
gabriel-barrett
closed
2 weeks ago
0
Microbank
#360
porcuquine
closed
2 weeks ago
0
chore(deps): bump the rust-dependencies group across 1 directory with 4 updates
#359
dependabot[bot]
closed
2 weeks ago
1
apply should not explicitly evaluate the arguments to be applied
#358
porcuquine
opened
3 weeks ago
0
Add cond macro to lib.
#357
porcuquine
closed
3 weeks ago
0
Compiled Lurk
#356
gabriel-barrett
closed
3 weeks ago
0
i63 and i64
#355
arthurpaulino
closed
3 weeks ago
0
Added the unconstrained feature in branches
#354
gabriel-barrett
closed
3 weeks ago
1
feat: theorems demo
#353
arthurpaulino
opened
4 weeks ago
0
chore: print returns from meta commands
#352
arthurpaulino
closed
3 weeks ago
0
chore(deps): bump hashbrown from 0.14.5 to 0.15.0 in the rust-dependencies group across 1 directory
#351
dependabot[bot]
closed
3 weeks ago
1
feat: `rand` meta command
#350
arthurpaulino
closed
4 weeks ago
0
Better error messages on toplevel.rs
#349
gabriel-barrett
closed
4 weeks ago
0
feat: Add initial OCaml support
#348
wwared
closed
3 weeks ago
0
Thunk refactoring
#347
gabriel-barrett
closed
1 month ago
0
fix unbound var test
#346
arthurpaulino
closed
1 month ago
0
Next