Structure-Aware C to Rust Translator
☆21Dec 29, 2025Updated 2 months ago
Alternatives and similar repositories for sactor
Users that are interested in sactor are comparing it to the libraries listed below
Sorting:
- ☆32Apr 29, 2025Updated 10 months ago
- Datasets and code for the CRUST-bench paper.☆35Nov 25, 2025Updated 3 months ago
- Ownership analysis that helps translating C to Rust☆31Nov 25, 2025Updated 3 months ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Jan 28, 2026Updated last month
- R package providing a data frame interface for EPA's air dispersion model AERMOD☆20Jun 21, 2023Updated 2 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Compare Nix derivations between base and PR branches using dix☆26Updated this week
- A POSIX compatible shell written by Rust language.☆14Apr 30, 2024Updated last year
- A small plugin to add markdown support for emoji markup☆13Sep 14, 2024Updated last year
- ☆16Jan 23, 2026Updated last month
- ☆14Nov 12, 2025Updated 3 months ago
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- The NVRC project provides a Rust binary that implements a simple init system for microVMs.☆25Updated this week
- Advances in recent large vision language models (LVLMs)☆15Sep 23, 2024Updated last year
- 🐣 web framework, in mojo 🔥, work in progress, websocket☆13Oct 25, 2024Updated last year
- 🔥 open-ss2: a third-party open-source implementation of Figure AI's Helix "System 1, System 2" VLA model for high-rate, dexterous humano…☆11Mar 18, 2025Updated 11 months ago
- A set of tutorials that demonstrates how to write a video player based on FFmpeg☆11Jun 5, 2024Updated last year
- An MCP server for Google Scholar written in TypeScript with Streamable HTTP☆19Aug 18, 2025Updated 6 months ago
- ☆13Apr 28, 2025Updated 10 months ago
- This system designed for friends to share rent ChatGPT accounts. At the same time, the system also supports users to independently use th…☆12Aug 1, 2023Updated 2 years ago
- A hand made game engine in development, written in Odin☆10Mar 21, 2023Updated 2 years ago
- List of Awesome Swatch Internet Time Tools☆25Sep 24, 2025Updated 5 months ago
- zero dependency commandline dimensional analysis tool for unit conversion and consistency validation☆10Feb 11, 2021Updated 5 years ago
- A list of awesome bioinformatics communities☆19Oct 3, 2024Updated last year
- Argument execute is xargs alternative that supports arguments ordering☆14Oct 5, 2024Updated last year
- Integrated code of STEMMUS and SCOPE☆21Sep 23, 2025Updated 5 months ago
- Code for REACT: Real-time Efficient Attribute Clustering and Transfer for Updatable 3D Scene Graph☆16Feb 12, 2026Updated 2 weeks ago
- A cool AI that roasts your GitHub profile☆13Aug 15, 2025Updated 6 months ago
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 2 years ago
- An experimental library for HTML generation in Mojo☆13May 8, 2024Updated last year
- WM8731 Audio CODEC using Verilog (DE2-115)☆10Jul 28, 2019Updated 6 years ago
- ☆13Feb 18, 2025Updated last year
- ☆15May 23, 2019Updated 6 years ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- decentralized web search engine, web archive and feed reader☆14Jul 21, 2025Updated 7 months ago
- ☆16Updated this week
- Language server that surfaces Web Components metadata, completions, and diagnostics. This includes the IDE extensions and CLI tools for i…☆34Feb 18, 2026Updated last week
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 15, 2024Updated last year
- 跨平台的C语言教程2020版☆14Jun 11, 2021Updated 4 years ago