{"id":51051091,"url":"https://github.com/tompassarelli/beagle-lab","last_synced_at":"2026-06-22T17:01:21.983Z","repository":{"id":365034019,"uuid":"1245811398","full_name":"tompassarelli/beagle-lab","owner":"tompassarelli","description":"beagle language research journal","archived":false,"fork":false,"pushed_at":"2026-06-15T14:30:03.000Z","size":2472,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-06-15T16:24:05.650Z","etag":null,"topics":["agentic-ai","agents","clojure","clojurescript","javascript","metaprograming","nix","python","racket","sql"],"latest_commit_sha":null,"homepage":"","language":"Clojure","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/tompassarelli.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,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-05-21T15:22:48.000Z","updated_at":"2026-06-15T14:31:25.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/tompassarelli/beagle-lab","commit_stats":null,"previous_names":["tompassarelli/beagle-lab"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/tompassarelli/beagle-lab","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tompassarelli%2Fbeagle-lab","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tompassarelli%2Fbeagle-lab/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tompassarelli%2Fbeagle-lab/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tompassarelli%2Fbeagle-lab/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tompassarelli","download_url":"https://codeload.github.com/tompassarelli/beagle-lab/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tompassarelli%2Fbeagle-lab/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34657902,"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":["agentic-ai","agents","clojure","clojurescript","javascript","metaprograming","nix","python","racket","sql"],"created_at":"2026-06-22T17:01:21.255Z","updated_at":"2026-06-22T17:01:21.974Z","avatar_url":"https://github.com/tompassarelli.png","language":"Clojure","funding_links":[],"categories":[],"sub_categories":[],"readme":"# beagle-lab\n\nExperiment archive for [beagle](https://github.com/tompassarelli/beagle) — the multi-target typed authoring IR.\n\nEach directory is a self-contained experiment with tasks, results, and methodology. Experiments are the empirical evidence behind beagle's design decisions.\n\n## Experiments\n\n| ID | Name | What it tested |\n|----|------|----------------|\n| E0 | Syntax variants | s-expression surface syntax options |\n| E1 | Head-to-head | Beagle vs Clojure on identical tasks |\n| E3 | Bug detection | Type-checker effectiveness on seeded bugs |\n| E4 | Refactoring | Typed refactoring vs untyped |\n| E5 | Event pipeline | Domain modeling at scale |\n| E6 | Trading | Financial domain complexity |\n| E8 | Scaled | Large-codebase behavior |\n| E9 | Repair toolchain | Automated repair ROI |\n| E10 | Workflow compression | Wall-time reduction techniques |\n| E11 | Model tier | LLM model size vs type-system value |\n| E16 | Workflow scheduler | Type-checker integration (P1/P2/P3 profiles) |\n| E17 | Typed codegen | Code generation with type constraints |\n| E18 | Macro compression | Proc macro compression ratios |\n| E19 | Agent macro authoring | Can agents write proc macros? |\n| E20 | Macro CNF | Query tools + macro expansion |\n| E21 | Macro composition | Composing multiple macros |\n| E22 | Cross-target macros | Same macro across all 6 targets |\n\n## Key findings\n\n- **P2 checker profile** is the sweet spot (E16): exhaustive match + narrowing. P3 effects add no value; P1 false positives hurt (3.4x slower).\n- **Types help agents build features**, not find bugs (E16). Tests win for correctness; types win for reasoning speed.\n- **Proc macros compress 2-3x** at realistic scale (E18). Template macros can't express the test patterns.\n- **Agents can write proc macros** when given docs (E19). Without docs, they default to runtime dispatch.\n- **Best config: 287s avg** wall time (E13), per-bug faster than Python+mypy.\n\n## Provenance\n\nExtracted from the `experiments/` directory of the beagle repo at commit `971d21d`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftompassarelli%2Fbeagle-lab","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftompassarelli%2Fbeagle-lab","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftompassarelli%2Fbeagle-lab/lists"}