Bickio/the-witness-solver 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

Bickio/the-witness-solver

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/Bickio/the-witness-solver)

Close

Bickio / the-witness-solverView on GitHubMore

• External links
• Readme badge

☆15Jun 23, 2023Updated 2 years ago

Alternatives and similar repositories for the-witness-solver

Users that are interested in the-witness-solver are comparing it to the libraries listed below

• willcrichton / rustc-type-metaprogramming

  View on GitHub
  ☆24Mar 19, 2018Updated 7 years ago
• brandur / podcore

  View on GitHub
  ☆21May 6, 2018Updated 7 years ago
• thebracket / rust_brain_teasers

  View on GitHub
  Source code to accompany the Rust Brain Teasers book.
  ☆26Apr 23, 2022Updated 3 years ago
• jbzdarkid / witness-trainer

  View on GitHub
  Trainer for The Witness
  ☆27Mar 2, 2026Updated last week
• eupn / tracksb

  View on GitHub
  A DIY, IMU-based skateboard activity tracker
  ☆30Aug 1, 2021Updated 4 years ago
• JakkuSakura / gpui-plot

  View on GitHub
  Plotting with gpui in Rust
  ☆55Apr 12, 2025Updated 10 months ago
• lnicola / co2mon

  View on GitHub
  Rust crate for USB CO₂ monitors
  ☆33Mar 21, 2023Updated 2 years ago
• taiki-e / replace-await

  View on GitHub
  Migration tool for replacing await! macro with await syntax.
  ☆40Jan 1, 2021Updated 5 years ago
• QuintessentialOM / Quintessential

  View on GitHub
  An Opus Magnum mod loader (in-dev).
  ☆14Mar 4, 2024Updated 2 years ago
• szunami / taileater

  View on GitHub
  A puzzle game where you eat your own tail to win!
  ☆37Mar 13, 2023Updated 2 years ago
• mimoo / cargo-dephell

  View on GitHub
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48May 12, 2023Updated 2 years ago
• DileSoft / open-games-engines-manifesto

  View on GitHub
  Манифест открытых игровых движков
  ☆11Aug 1, 2021Updated 4 years ago
• russ / eighttrack

  View on GitHub
  VCR for Crystal
  ☆11May 4, 2021Updated 4 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• Lilith-In-Starlight / xau

  View on GitHub
  A puzzle game inspired by Yume Nikki and The Witness
  ☆12Aug 26, 2023Updated 2 years ago
• ispras / quix86

  View on GitHub
  An x86-64 instruction decoder.
  ☆16Mar 11, 2024Updated last year
• idubrov / experiments

  View on GitHub
  ☆11Jun 16, 2018Updated 7 years ago
• indutny / tokio-lock

  View on GitHub
  Access an object from a single Tokio task
  ☆13Feb 17, 2019Updated 7 years ago
• FOSSRIT / fossrit.github.io

  View on GitHub
  Official website for Free and Open Source Software @ RIT MAGIC Center and FOSS academia
  ☆10Jan 26, 2026Updated last month
• stateright / stateright.github.io

  View on GitHub
  "Building Distributed Systems with Stateright"
  ☆15Jul 28, 2025Updated 7 months ago
• necauqua / chaos-theory

  View on GitHub
  My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5
  ☆14Oct 6, 2021Updated 4 years ago
• bspeice / qadapt

  View on GitHub
  debug_assert! for your memory usage in Rust
  ☆13Feb 11, 2019Updated 7 years ago
• googlefonts / flowify

  View on GitHub
  Turn a font into a flow font
  ☆12Apr 30, 2024Updated last year
• InfiniTensor / gguf

  View on GitHub
  handle gguf files
  ☆12Aug 14, 2025Updated 6 months ago
• zakarumych / amity

  View on GitHub
  Concurrency algorithms
  ☆11Apr 7, 2025Updated 11 months ago
• y9v / cities-api

  View on GitHub
  Small API for cities, based on geonames.org data
  ☆10Oct 24, 2015Updated 10 years ago
• trustyuri / trustyuri-spec

  View on GitHub
  Trusty URI specification
  ☆20Feb 23, 2015Updated 11 years ago
• camsjams / rust-flock-of-boids

  View on GitHub
  An exploratory look at Rust game engines using the Boids life program
  ☆10Dec 23, 2021Updated 4 years ago
• dotcypress / ir-smart-led-controller

  View on GitHub
  IR Remote Controller for WS2812(or analog) LED Strip
  ☆10Nov 28, 2022Updated 3 years ago
• bschwind / app-route

  View on GitHub
  Treat application routes (URL path + query string) as strongly-typed Rust structs
  ☆13Jun 16, 2019Updated 6 years ago
• atuk721 / redis-cluster-rs

  View on GitHub
  Redis cluster library for Rust
  ☆14Jan 28, 2024Updated 2 years ago
• Yaulendil / tengwar-rs

  View on GitHub
  Text transcription into J.R.R. Tolkien's Tengwar.
  ☆12Nov 9, 2023Updated 2 years ago
• nikomatsakis / context-capabilities-initiative

  View on GitHub
  ☆12Jan 8, 2022Updated 4 years ago
• turbofish-org / ed

  View on GitHub
  Minimalist crate for deterministic binary encodings in Rust
  ☆11Nov 19, 2024Updated last year
• Yatekii / jep106

  View on GitHub
  A library to retrieve JEP106 manufacturer strings in Rust.
  ☆12May 7, 2025Updated 10 months ago
• kreetitech / cache_fu

  View on GitHub
  Version for rails 3
  ☆34May 26, 2016Updated 9 years ago
• yoshikizh / swee

  View on GitHub
  ruby 实现的轻量级web框架
  ☆10Mar 23, 2015Updated 10 years ago
• Le6ow5k1 / greenhorn

  View on GitHub
  See changelogs for your updated dependencies
  ☆10Aug 4, 2019Updated 6 years ago
• enarx-archive / enarx-keepldr

  View on GitHub
  Enarx Keep Loader
  ☆15Oct 25, 2021Updated 4 years ago