whatisgithub

What is frankensim?

dicklesworthstone/frankensim — explained in plain English

Analysis updated 2026-05-18

36RustAudience · researcherComplexity · 5/5Setup · hard

In one sentence

A large in-progress Rust workspace of 126+ crates for building certified, evidence-tracked physics simulation and design optimization tools.

Mindmap

mindmap
  root((FrankenSim))
    What it does
      Certified geometry
      Physics simulation
      Design optimization
    Tech stack
      Rust
      Cargo workspace
      SQLite ledger
    Use cases
      Build custom solvers
      Track evidence
      Gradient optimization
    Audience
      Researchers
      Scientific computing engineers

Code map

Detail Auto

An interactive map of this repo's files and how they connect — its source is parsed live in your browser. Click Visualize to build it.

filefunction / class

What do people build with it?

USE CASE 1

Build custom geometry, meshing, or physics solver components on a certified numerical substrate.

USE CASE 2

Track evidence and reproducibility for a simulation or optimization pipeline via the built-in ledger.

USE CASE 3

Run gradient-based or derivative-free design optimization with dimensional-unit checking.

USE CASE 4

Use individual crates like sparse matrix assembly or Chebyshev collocation as standalone libraries.

What is it built with?

RustCargoWebAssemblySQLite

How does it compare?

dicklesworthstone/frankensimsergiobenitez/ubyteadysec/clawbot
Stars363637
LanguageRustRustRust
Last pushed2023-10-02
MaintenanceDormant
Setup difficultyhardeasymoderate
Complexity5/52/53/5
Audienceresearcherdeveloperdeveloper

Figures from each repo's GitHub metadata at analysis time.

How do you get it running?

Difficulty · hard Time to first run · 1day+

Requires a pinned Rust nightly toolchain and specific sibling projects checked out at exact commit pins via a custom bootstrap tool before it builds.

So what is it?

FrankenSim is a large, still-in-progress Rust workspace aimed at building simulation and design optimization infrastructure where every part of the system, from physical units to numerical error to geometry validity, is tracked explicitly rather than left implicit. The stated problem is that simulation tools often let an optimization run produce a final answer without a clear, durable record of which assumptions, approximations, and machine conditions made that answer trustworthy. FrankenSim's answer is to bake tracking of units, deterministic numerical contracts, geometry evidence, and a full history ledger directly into the architecture of the codebase. The project is organized as 126 separate crates in the main Cargo workspace, plus a standalone nested workspace for WebAssembly support, covering areas such as runtime execution, numerical kernels, geometry representations like signed distance fields and meshes, physics solvers, gradient and adjoint computation for optimization, image handling, and a ledger system built on a custom SQLite-based storage layer that records artifacts, operations, and events over time. Every one of the 127 crate directories has an accompanying contract file, and the workspace includes 276 test files that exercise these contracts. There is not yet a packaged end-user simulation application or a published crates.io release. Today the project is usable as a source workspace and a library foundation for people who want to build on individual pieces, such as assembling sparse matrices, running collocation based stability probes, attaching evidence to numerical values, working with physical quantities that carry dimensional checks, or running gradient-based and derivative-free optimizers. Building it from source requires a pinned nightly Rust toolchain and specific sibling projects checked out alongside it, set up through a bootstrap tool included in the repository. This project is aimed at researchers and engineers working on scientific computing, physics simulation, or design optimization who want a rigorously tracked, evidence-based foundation to build custom solvers and geometry tools on top of, rather than a ready-to-use simulation application. The full README is longer than what was shown.

Copy-paste prompts

Prompt 1
Walk me through bootstrapping FrankenSim's sibling dependencies and building the workspace from source.
Prompt 2
Explain what the Evidence and Certified types in fs_evidence are meant to guarantee.
Prompt 3
What crates would I use in FrankenSim to build a mesh-based physics solver with gradient verification?
Prompt 4
Summarize what FrankenSim's ledger and contract system track and why the project built them.

Frequently asked questions

What is frankensim?

A large in-progress Rust workspace of 126+ crates for building certified, evidence-tracked physics simulation and design optimization tools.

What language is frankensim written in?

Mainly Rust. The stack also includes Rust, Cargo, WebAssembly.

How hard is frankensim to set up?

Setup difficulty is rated hard, with roughly 1day+ to a first successful run.

Who is frankensim for?

Mainly researcher.

Open on GitHub → Ask about another repo

This repo across BitVibe Labs

Verify against the repo before relying on details.