Type-Migrating C-to-Rust Automatic Translator
☆16Aug 5, 2024Updated 2 years ago
Alternatives and similar repositories for simcrat
Users that are interested in simcrat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Structure-Aware C to Rust Translator☆23Dec 29, 2025Updated 9 months ago
- Ownership analysis that helps translating C to Rust☆34Apr 9, 2026Updated 6 months ago
- ☆39Apr 14, 2026Updated 6 months ago
- ☆17Sep 1, 2023Updated 3 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆28Oct 15, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- Datasets and code for the CRUST-bench paper.☆40Sep 17, 2026Updated last month
- KAIST. Formal Languages and Automata. Fall semester.☆19Dec 11, 2024Updated last year
- ViDeZZo source code.☆41Apr 8, 2026Updated 6 months ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- ☆12Jun 20, 2022Updated 4 years ago
- Haskell + Scotty example RealWorld API implementation for https://realworld.io☆28Jan 1, 2025Updated last year
- ☆10Sep 10, 2022Updated 4 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15May 23, 2019Updated 7 years ago
- BigMap integration on AFL++☆15Apr 5, 2021Updated 5 years ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆12Aug 10, 2026Updated 2 months ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 6 years ago
- A fast, modern and low-memory approach to processing a big JSON☆35Jun 20, 2026Updated 3 months ago
- Implementation for our paper "How Far Can Transformers Reason? The Locality Barrier and Inductive Scratchpad"☆11Jun 11, 2024Updated 2 years ago
- [NeurIPS 2022] Symmetry Teleportation for Accelerated Optimization☆12Nov 10, 2022Updated 3 years ago
- Archer: Agentic Code Review for LLVM PRs☆27Oct 2, 2026Updated 2 weeks ago
- ☆13Aug 19, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Jan 23, 2022Updated 4 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Code for NeurIPS 2024 paper: "Noether's razor: Learning Conserved Quantities" by Tycho F. A. van der Ouderaa, Mark van der Wilk, Pim de H…☆11Oct 12, 2024Updated 2 years ago
- Official PyTorch Implementation for the "Learning on Model Weights using Tree Experts" paper (CVPR 2025).☆17Feb 11, 2026Updated 8 months ago
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 2 years ago
- collect my writings , notes, etc.☆12Jun 12, 2020Updated 6 years ago
- ☆16Feb 25, 2024Updated 2 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- ☆15Mar 20, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [ECCV'24 Oral] Chameleon: A Data-Efficient Generalist for Dense Visual Prediction in the Wild☆14Mar 13, 2025Updated last year
- web scraping API to gather info about aircraft from JetPhotos and FlightRadar☆37Apr 18, 2026Updated 5 months ago
- 🗄 CLI archival tool for the Wayback Machine☆11Mar 5, 2023Updated 3 years ago
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- A small plugin to add markdown support for emoji markup☆14Sep 14, 2024Updated 2 years ago
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆11Oct 3, 2024Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago