{"id":13646483,"url":"https://github.com/Wilfred/peval","last_synced_at":"2025-04-21T21:30:47.433Z","repository":{"id":66760523,"uuid":"89646506","full_name":"Wilfred/peval","owner":"Wilfred","description":"partial evaluator for elisp","archived":false,"fork":false,"pushed_at":"2017-12-20T09:54:36.000Z","size":42,"stargazers_count":6,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2024-10-19T10:42:38.650Z","etag":null,"topics":["emacs-lisp","partial-evaluators"],"latest_commit_sha":null,"homepage":null,"language":"Emacs Lisp","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Wilfred.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2017-04-27T22:47:52.000Z","updated_at":"2020-01-27T11:57:55.000Z","dependencies_parsed_at":"2023-02-24T23:45:18.810Z","dependency_job_id":null,"html_url":"https://github.com/Wilfred/peval","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Wilfred%2Fpeval","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Wilfred%2Fpeval/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Wilfred%2Fpeval/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Wilfred%2Fpeval/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Wilfred","download_url":"https://codeload.github.com/Wilfred/peval/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":223880204,"owners_count":17219076,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["emacs-lisp","partial-evaluators"],"created_at":"2024-08-02T01:02:57.080Z","updated_at":"2024-11-09T20:30:15.031Z","avatar_url":"https://github.com/Wilfred.png","language":"Emacs Lisp","funding_links":[],"categories":["Emacs Lisp"],"sub_categories":[],"readme":"# Partial Evaluator for Emacs Lisp [![Build Status](https://travis-ci.org/Wilfred/peval.svg?branch=master)](https://travis-ci.org/Wilfred/peval) [![Coverage Status](https://coveralls.io/repos/github/Wilfred/peval/badge.svg?branch=master)](https://coveralls.io/github/Wilfred/peval?branch=master)\n\nPartially evaluate elisp forms. Handy for debugging, and [inspired by\na discussion on Reddit](https://www.reddit.com/r/emacs/comments/60tl6o/tips_on_reading_dense_emacs_lisp_code/dfa92hg/) and\n[this talk on Program Slicing](https://www.youtube.com/watch?v=dSqLt8BgbRQ).\n\n## Fundamental Limitations\n\n* Assumes lexical scope.\n\n* Assumes that if a macro call site does not contain a symbol, than\n  that symbol is not modified (TODO: example).\n  \n* (No plan to implement) recursive functions.\n\n## Current limitations\n\n* Some special forms are not implemented.\n\n* Loops are not implemented and their effects are ignored.\n\n* Does not macro expand forms to see if we can simplify them entirely.\n\n* Does not simplify known s-expressions in macro arguments that are\n  known to be evaluated.\n\n* Does not properly print simplified values that are now lists.\n\n* Mutation `(push 1 foo)` is not handled correctly.\n\n* Mutation does not currently cause preservation of let\n  forms. E.g. `(let ((x 1)) (fn1 x)` can be `(fn1 1)` (numbers are\n  value types), but `(let ((x '(1))) (fn1 x) (fn2 x))` cannot be\n  `(progn (fn1 '(1)) (fn2 '(1)))`.\n\n* (Fundamental?) Does not handle aliasing of values.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FWilfred%2Fpeval","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FWilfred%2Fpeval","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FWilfred%2Fpeval/lists"}