fitzgen/minisynth-rs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

fitzgen/minisynth-rs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/fitzgen/minisynth-rs)

Close

fitzgen / minisynth-rsView on GitHubMore

• External links
• Readme badge

Program synthesis is possible in Rust

☆24Nov 15, 2018Updated 7 years ago

Alternatives and similar repositories for minisynth-rs

Users that are interested in minisynth-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• aidanhs / ayzim

  View on GitHub
  ☆27Apr 7, 2017Updated 9 years ago
• pvdrz / sire

  View on GitHub
  A symbolic evaluator for MIR
  ☆20Jan 20, 2020Updated 6 years ago
• sophiajt / peach

  View on GitHub
  ☆20Sep 1, 2018Updated 8 years ago
• berlinrs / tbd.rs

  View on GitHub
  Totally Badass Databases in Rust - an experiment
  ☆22Dec 24, 2018Updated 7 years ago
• dherman / envoy

  View on GitHub
  Conveniences for manipulating environment variables.
  ☆21Dec 2, 2018Updated 7 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• withoutboats / smart

  View on GitHub
  dynamic smart pointers
  ☆32Feb 24, 2019Updated 7 years ago
• yewstack / web_logger

  View on GitHub
  Rust Logger for Web Browsers
  ☆20May 2, 2020Updated 6 years ago
• isislovecruft / iso64

  View on GitHub
  Supersingular-isogeny key encapsulation (SIKE) over P434 in 6502/6510 assembly for Commodore 64
  ☆26Feb 28, 2020Updated 6 years ago
• pcwalton / pilcrow

  View on GitHub
  Work-in-progress Unicode paragraph layout library written in Rust
  ☆13Jun 7, 2018Updated 8 years ago
• yupferris / jitter

  View on GitHub
  Testing some x86 jit'y things in Rust
  ☆11Jul 28, 2016Updated 10 years ago
• asajeffrey / josephine

  View on GitHub
  JS affine
  ☆68Jun 25, 2020Updated 6 years ago
• caolan / tamawiki

  View on GitHub
  I'm learning Rust!
  ☆13Nov 24, 2018Updated 7 years ago
• smol-rs / cache-padded

  View on GitHub
  [DEPRECATED] Prevent false sharing by padding and aligning to the length of a cache line
  ☆53Jun 8, 2023Updated 3 years ago
• japaric-archived / embedonomicon

  View on GitHub
  This book has been moved to https://github.com/rust-embedded/embedonomicon
  ☆22Sep 18, 2018Updated 8 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• softprops / emoji-clock

  View on GitHub
  🕒 🐇 I'm late I'm late for a very important date
  ☆13Apr 29, 2021Updated 5 years ago
• ckomaki / kaggle-santa-2017-winner-solution

  View on GitHub
  ☆13Jan 13, 2018Updated 8 years ago
• sunfishcode / llvm2cranelift

  View on GitHub
  LLVM IR to Cranelift IR translator
  ☆38Oct 8, 2019Updated 7 years ago
• frehberg / rust-releasetag

  View on GitHub
  The repo of rust crate 'releasetag'. Releasetags can be extracted from application crash-files postmortem
  ☆13May 1, 2019Updated 7 years ago
• lachlansneff / exu

  View on GitHub
  Universal Executables
  ☆14Aug 30, 2018Updated 8 years ago
• rust-analyzer / text-size

  View on GitHub
  ☆22Nov 8, 2025Updated 11 months ago
• jamesmunns / undroppable

  View on GitHub
  ☆12Nov 14, 2021Updated 4 years ago
• playXE / garbage-collector

  View on GitHub
  Garbage collector implementation in Rust for Rust
  ☆13Aug 30, 2020Updated 6 years ago
• anp / lolbench

  View on GitHub
  tracking performance of rustc-generated binaries over time
  ☆103Dec 2, 2022Updated 3 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• gtestault / primitive-recursive-functions

  View on GitHub
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆41Dec 13, 2018Updated 7 years ago
• cetra3 / mdcollate

  View on GitHub
  Collates markdown into one file
  ☆17Feb 1, 2018Updated 8 years ago
• bytecodealliance / filecheck

  View on GitHub
  Library for writing tests for utilities that read text files and produce text output
  ☆23Jun 26, 2020Updated 6 years ago
• DmitryDodzin / mol

  View on GitHub
  Automatic versioning of packages with mono-repos in mind
  ☆13Oct 10, 2022Updated 4 years ago
• dylni / print_bytes

  View on GitHub
  Print bytes as losslessly as possible.
  ☆19Sep 6, 2025Updated last year
• mitsuhiko / struckdown

  View on GitHub
  An experimental markdown processing system
  ☆42Apr 3, 2021Updated 5 years ago
• rust-fuzz / targets

  View on GitHub
  🎯 A collection of fuzzing targets written in Rust.
  ☆106Jun 5, 2021Updated 5 years ago
• pepyakin / emchipten

  View on GitHub
  Emchipten — Compile your CHIP-8 into WebAssembly binaries!
  ☆21Sep 26, 2017Updated 9 years ago
• jswrenn / bam

  View on GitHub
  Beep, as an ALSA MIDI device
  ☆14Mar 29, 2021Updated 5 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• jcoglan / infer

  View on GitHub
  Interpreter for inference rules
  ☆14May 5, 2018Updated 8 years ago
• Michael-F-Bryan / linkcheck

  View on GitHub
  A library for extracting and validating links.
  ☆21Aug 17, 2024Updated 2 years ago
• nikomatsakis / rustc-on-demand-incremental-design-doc

  View on GitHub
  A draft design document / RFC describing the plan for incremental and "on-demand"
  ☆13May 18, 2017Updated 9 years ago
• aldeka / rustacean.net

  View on GitHub
  Source for rustacean.net, home page of Ferris the Crab.
  ☆36Mar 22, 2025Updated last year
• Neil-Crago / moma

  View on GitHub
  MOMA is a Rust toolkit for analysing things relative to an origin that moves. Its main use is spirals and helices around a wandering axis…
  ☆12Oct 26, 2026Updated last week
• spacejam / model

  View on GitHub
  model testing sugar for testing interactions on structures over time
  ☆26Jul 24, 2019Updated 7 years ago
• Ericson2314 / rust-papers

  View on GitHub
  An enrichment of Rust's core language to support more advanced features
  ☆23May 25, 2017Updated 9 years ago