leifree317/f3-prover 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

leifree317/f3-prover

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/leifree317/f3-prover)

Close

leifree317 / f3-proverView on GitHubMore

• External links
• Readme badge

☆21Jul 15, 2024Updated last year

Alternatives and similar repositories for f3-prover

Users that are interested in f3-prover are comparing it to the libraries listed below

• fx26980 / subspace-farmer

  View on GitHub
  Support GPU plotting, Achieve an order-of-magnitude performance improvement, Maximizing your plotting potential.
  ☆12Aug 8, 2024Updated last year
• zkrush / aleo-pool-client

  View on GitHub
  aleo-pool-client
  ☆15Jul 3, 2024Updated last year
• HarukaMa / aleo-pool-server

  View on GitHub
  ☆78Aug 25, 2024Updated last year
• madMAx43v3r / xpmclient

  View on GitHub
  Primecoin XPM GPU Miner for xpmpool (aka. madPrimeMiner)
  ☆13May 24, 2014Updated 11 years ago
• ore-pool / ore-pool-cli

  View on GitHub
  ☆16Aug 21, 2024Updated last year
• 6block / zkwork_aleo_worker

  View on GitHub
  ☆50Aug 15, 2024Updated last year
• HarukaMa / aleo-explorer

  View on GitHub
  Open source explorer for the Aleo network
  ☆131Feb 20, 2026Updated 2 weeks ago
• EdmundFu-233 / Qubic_revenue_calculator

  View on GitHub
  一个中文本地化，免费的收益计算器
  ☆38Apr 10, 2024Updated last year
• apool-io / apoolminer

  View on GitHub
  ☆68Feb 26, 2026Updated last week
• EstephaniaCalvoC / holberton-system_engineering-devops

  View on GitHub
  This is the project 0x00.Shell, basics repository.
  ☆11May 28, 2021Updated 4 years ago
• application-research / filclient

  View on GitHub
  A minimal filecoin client library
  ☆41Aug 8, 2024Updated last year
• swagasoft / alx-low_level_programming

  View on GitHub
  AlX software engineering program
  ☆10Sep 26, 2023Updated 2 years ago
• Bensikrac / VFIO-Nvidia-dynamic-unbind

  View on GitHub
  ☆22Oct 11, 2025Updated 4 months ago
• tig-foundation / tig-monorepo

  View on GitHub
  TIG is the first coordination protocol designed specifically for algorithmic breakthroughs
  ☆35Feb 27, 2026Updated last week
• sidneyriffic / holbertonschool-low_level_programming

  View on GitHub
  Holberton curriculum projects dealing mostly with C. Some assembly/others.
  ☆12Mar 31, 2023Updated 2 years ago
• DoganSoley / farcaster-node

  View on GitHub
  ☆10Jul 29, 2024Updated last year
• NwabuezeFranklin / alx-system_engineering-devops

  View on GitHub
  Systems Engineering & DevOps repository, Install, Configure, Tests ... OS, Application software, System management tools
  ☆12Jan 1, 2023Updated 3 years ago
• rusq / xls2sheets

  View on GitHub
  Import or partially refresh your Google Sheets from Excel files
  ☆17Jul 18, 2025Updated 7 months ago
• hardope / AirBnB_clone_v2

  View on GitHub
  ☆12May 16, 2024Updated last year
• espoir1989 / sana-install

  View on GitHub
  ☆10Feb 16, 2022Updated 4 years ago
• availproject / avail-indexer

  View on GitHub
  Indexer for the various Avail chains
  ☆16Jul 29, 2025Updated 7 months ago
• lh232510 / ChiaMiner

  View on GitHub
  ☆12May 14, 2021Updated 4 years ago
• mingcheng / my-vertx-scaffold

  View on GitHub
  基于 Vert.x 的简单脚手架，整合使用了 gRPC、RxJava 等库
  ☆10Sep 18, 2019Updated 6 years ago
• negaisa / vmulti-client

  View on GitHub
  Crate for interacting with virtual input driver using wmulti
  ☆10Jul 11, 2020Updated 5 years ago
• irbujam / ss_log_event_monitor

  View on GitHub
  Autonomys monitoring powershell script for Windows and Linux
  ☆12May 5, 2025Updated 10 months ago
• kmod-midori / virtual-display

  View on GitHub
  ☆11Aug 19, 2024Updated last year
• toukii / jsnm

  View on GitHub
  json mapping for map[string]interface{}
  ☆11Aug 28, 2025Updated 6 months ago
• wangshuai1992 / cockburst

  View on GitHub
  一个高性能,可靠,异步的本地持久化队列实现；重启JVM、重启服务器、或者强制KILL进程时,队列里的数据不丢失；
  ☆12Dec 5, 2017Updated 8 years ago
• arturovictoriar / holberton-system_engineering-devops

  View on GitHub
  Implementation of some concepts about Bash Scripting, Web Stack Debugging, Networking & Security, and CI/CD.
  ☆11Dec 12, 2020Updated 5 years ago
• paizzj / xiaoniublock

  View on GitHub
  这是我学习区块链应用的笔记，主要是以bitcoin, ethereum, eos, tezos, sia为中心的代码的学习。
  ☆12Jan 29, 2018Updated 8 years ago
• HcashOrg / hcwallet

  View on GitHub
  Hc Cli wallet
  ☆11Mar 19, 2021Updated 4 years ago
• ipfs-force-community / sophon-messager

  View on GitHub
  message is component of venus for managing message
  ☆13Sep 17, 2025Updated 5 months ago
• alex-leonhardt / auditr

  View on GitHub
  A small Go program to read /var/log/audit/audit.log
  ☆14Nov 12, 2018Updated 7 years ago
• Akisoft41 / py-nvtool

  View on GitHub
  "Hiveos nvtool" en Python pour Linux et Windows
  ☆13Feb 5, 2024Updated 2 years ago
• Aleo-DevRel-Ambas / zero-to-zk

  View on GitHub
  ☆14Aug 16, 2024Updated last year
• HoosatNetwork / HTND

  View on GitHub
  HTND is the reference full node of Hoosat Network implementation written in Go (golang).
  ☆16Updated this week
• takuoki / gsheets

  View on GitHub
  A golang wrapper package for "golang.org/x/oauth2" and "google.golang.org/api/sheets/v4"
  ☆10May 6, 2021Updated 4 years ago
• hardope / alx-system_engineering-devops_01

  View on GitHub
  ALX
  ☆11Jan 26, 2023Updated 3 years ago
• Tecnophille / alx-system_engineering-devops

  View on GitHub
  System Engineering and Devops training module for ALX SE
  ☆12Feb 15, 2023Updated 3 years ago