{"id":19204188,"url":"https://github.com/zoedsoupe/spellbind","last_synced_at":"2026-06-22T05:31:57.188Z","repository":{"id":261809310,"uuid":"885405742","full_name":"zoedsoupe/spellbind","owner":"zoedsoupe","description":"simple lambda calculus interpreter - WIP","archived":false,"fork":false,"pushed_at":"2024-11-08T14:33:09.000Z","size":9,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-04-27T16:37:09.023Z","etag":null,"topics":["elixir","interpreter","lambda-calculus"],"latest_commit_sha":null,"homepage":"","language":"Elixir","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/zoedsoupe.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-11-08T14:22:21.000Z","updated_at":"2024-11-08T14:33:12.000Z","dependencies_parsed_at":"2024-11-08T15:35:28.232Z","dependency_job_id":"98231d34-9ab8-4d38-a61d-19bb940d8c59","html_url":"https://github.com/zoedsoupe/spellbind","commit_stats":null,"previous_names":["zoedsoupe/spellbind"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/zoedsoupe/spellbind","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zoedsoupe%2Fspellbind","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zoedsoupe%2Fspellbind/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zoedsoupe%2Fspellbind/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zoedsoupe%2Fspellbind/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/zoedsoupe","download_url":"https://codeload.github.com/zoedsoupe/spellbind/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zoedsoupe%2Fspellbind/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34636427,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-22T02:00:06.391Z","response_time":106,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["elixir","interpreter","lambda-calculus"],"created_at":"2024-11-09T13:06:34.163Z","updated_at":"2026-06-22T05:31:57.171Z","avatar_url":"https://github.com/zoedsoupe.png","language":"Elixir","funding_links":[],"categories":[],"sub_categories":[],"readme":"# spellbind\n\na minimalist lambda calculus interpreter, built in elixir. this project is an educational dive into lambda calculus, starting simple with untyped lambda calculus, but with plans to explore typed lambda calculus in the future.\n\n## features\n\n- **basic lambda calculus interpreter:** interprets lambda expressions with elixir, focusing on simplicity and clarity.\n- **parser \u0026 lexer:** implemented with elixir’s binary pattern matching, for efficient and expressive token handling.\n  \n## roadmap\n\n- expand the interpreter with evaluation strategies (beta reduction, normal form, etc.)\n- gradually introduce types for typed lambda calculus, exploring core concepts in type theory.\n\n## notes\n\nthis project is meant for learning and exploration. feedback, contributions, or thoughts are more than welcome, especially from anyone interested in functional programming, theoretical computer science, or elixir.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzoedsoupe%2Fspellbind","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fzoedsoupe%2Fspellbind","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzoedsoupe%2Fspellbind/lists"}