{"id":22700432,"url":"https://github.com/uncomputable/simfony-as-rust","last_synced_at":"2025-07-12T16:07:07.494Z","repository":{"id":246844899,"uuid":"824144368","full_name":"uncomputable/simfony-as-rust","owner":"uncomputable","description":"Tools for working with Simfony as literal Rust.","archived":false,"fork":false,"pushed_at":"2024-10-12T16:24:03.000Z","size":72,"stargazers_count":0,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-06-17T09:21:59.805Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"cc0-1.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/uncomputable.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-07-04T12:59:41.000Z","updated_at":"2025-02-25T21:30:28.000Z","dependencies_parsed_at":null,"dependency_job_id":"aa05ea84-8224-4854-bfe9-30fc965c9ca2","html_url":"https://github.com/uncomputable/simfony-as-rust","commit_stats":null,"previous_names":["uncomputable/simfony-as-rust"],"tags_count":5,"template":false,"template_full_name":null,"purl":"pkg:github/uncomputable/simfony-as-rust","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uncomputable%2Fsimfony-as-rust","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uncomputable%2Fsimfony-as-rust/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uncomputable%2Fsimfony-as-rust/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uncomputable%2Fsimfony-as-rust/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/uncomputable","download_url":"https://codeload.github.com/uncomputable/simfony-as-rust/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uncomputable%2Fsimfony-as-rust/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265017239,"owners_count":23698449,"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":[],"created_at":"2024-12-10T06:12:10.234Z","updated_at":"2025-07-12T16:07:06.449Z","avatar_url":"https://github.com/uncomputable.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Interface between Simfony as Rust\n\n[![GitHub](https://img.shields.io/badge/github-repo-blue.svg)](https://github.com/uncomputable/simfony-as-rust)\n[![crates.io](https://img.shields.io/crates/v/simfony-as-rust.svg)](https://crates.io/crates/simfony-as-rust)\n[![docs.rs](https://docs.rs/simfony-as-rust/badge.svg)](https://docs.rs/simfony-as-rust)\n\nThe [Simfony](https://github.com/BlockstreamResearch/simfony) language feels very similar to Rust. This crate provides tools to work with Simfony as literal Rust.\n\n## Documentation ✅\n\nWe define a Rust type for each Simfony type. We define a Rust function for each Simfony jet. `rustdoc` can be used to generate Simfony documentation.\n\n## Source code conversion 🚧\n\nSimfony code is almost Rust code. For the most part, Simfony lacks advanced features such as generics, so the corresponding syntax is missing.\n\nBecause there are only few and predictable differences, we can convert Simfony code to Rust code with a simple static algorithm. This tool hasn't been written yet, but it would enable us to compile Simfony code with the Rust compiler.\n\nThis means there would be two paths for a Simfony program:\n\n1. Simfony → Simplicity → Bit Machine\n2. Simfony → Rust → any CPU\n\nUsing this library as prelude, the Simfony program in (1) that runs on the Bit Machine should behave exactly as the Simfony program in (2) that runs on any CPU.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Funcomputable%2Fsimfony-as-rust","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Funcomputable%2Fsimfony-as-rust","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Funcomputable%2Fsimfony-as-rust/lists"}