{"id":16508470,"url":"https://github.com/femtomc/abstraps","last_synced_at":"2025-03-21T08:31:17.175Z","repository":{"id":45306441,"uuid":"435586052","full_name":"femtomc/abstraps","owner":"femtomc","description":"Pull your compiler up with abstract bootstraps.","archived":false,"fork":false,"pushed_at":"2022-12-15T17:18:19.000Z","size":181,"stargazers_count":31,"open_issues_count":1,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-17T22:55:13.450Z","etag":null,"topics":["abstract-interpretation","compiler-design","intermediate-representation"],"latest_commit_sha":null,"homepage":"","language":"Rust","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/femtomc.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}},"created_at":"2021-12-06T17:26:18.000Z","updated_at":"2024-10-08T04:20:18.000Z","dependencies_parsed_at":"2022-09-17T04:31:37.652Z","dependency_job_id":null,"html_url":"https://github.com/femtomc/abstraps","commit_stats":null,"previous_names":["femtomc/abstrap"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/femtomc%2Fabstraps","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/femtomc%2Fabstraps/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/femtomc%2Fabstraps/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/femtomc%2Fabstraps/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/femtomc","download_url":"https://codeload.github.com/femtomc/abstraps/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244764976,"owners_count":20506743,"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":["abstract-interpretation","compiler-design","intermediate-representation"],"created_at":"2024-10-11T15:34:37.576Z","updated_at":"2025-03-21T08:31:16.427Z","avatar_url":"https://github.com/femtomc.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# abstraps\n\n[![CI](https://img.shields.io/github/workflow/status/femtomc/abstraps/CI?style=for-the-badge)](https://github.com/femtomc/abstraps/actions?query=workflow%3ACI)\n[![crates.io](https://img.shields.io/crates/v/abstraps?style=for-the-badge)](https://crates.io/crates/abstraps)\n[![docs.rs](https://img.shields.io/docsrs/abstraps?style=for-the-badge)](https://docs.rs/abstraps/latest/abstraps/)\n\n\u003e Extensible compiler design with abstract interpreters.\n\nThis project started off as an experiment in compiler design. Specifically, the author was motivated by:\n\n* studying [the Julia language and compiler](https://julialang.org/) inference system to understand language design with extensible abstract interpretation as a compiler (and potentially language!) feature.\n* studying [MLIR](https://mlir.llvm.org/) and the powerful ideas for IR and compiler design which are emerging from the project.\n\nIt turns out that there are quite a few of languages (e.g. Crystal, Nim, Julia) experimenting with abstract interpretation as part of their type systems. In the long term, the goal of the project might be to provide a stable substrate to experiment on compiler design _cons_ abstract interpreters inside of an IR framework which supports MLIR-like extensibility concepts. \n\n#### Claims\n\nThe framework provides:\n\n1. An intermediate representation with concepts isomorphic to MLIR.\n2. Interfaces for defining interpreters which act as abstract virtual machines on the IR, as well as reference (usable!) interpreters for standard design patterns.\n3. Builder interfaces which support code generation to MLIR.\n\n\"Extensibility\" means that there are no fixed intrinsics built into the IR (or any of the interfaces). The same is true for abstract lattices -- the interpreter patterns describe how (certain instances) of abstract interpreters will traverse the IR, but the user must provide the semantics by specifying intrinsics and how the interpreter should interpret the intrinsics on a user-defined lattice.\n\n---\n\n**Note**:\n\n\u003csup\u003e\nThe original author would have liked to just do this in MLIR proper -- but given time constraints and engineering ability (or lack thereof in C++), this project is implemented in Rust. In fact, for those interested in MLIR -- you may find \"another implementation viewpoint\" useful on the design concepts. The codebase has been documented with respect to non-trivial implementation decisions and their motivation from MLIR.\n\u003c/sup\u003e\n\n---\n\n\u003cdiv align=\"center\"\u003e\n\u003csup\u003e\nStarted by \u003ca href=\"https://femtomc.github.io/\"\u003eMcCoy R. Becker\u003c/a\u003e during \u003ca href=\"https://pl-design-seminar.seas.harvard.edu/\"\u003eHarvard CS 252r\u003c/a\u003e. All code is licensed under the \u003ca href=\"LICENSE\"\u003eMIT License\u003c/a\u003e.\n\u003c/sup\u003e\n\u003c/div\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffemtomc%2Fabstraps","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffemtomc%2Fabstraps","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffemtomc%2Fabstraps/lists"}