Alternatives and similar repositories for zk-intro

Users that are interested in zk-intro are comparing it to the libraries listed below

• pessimistic-io / slitherin

  View on GitHub
  Slither Detectors by Pessimistic.io
  ☆374Jun 25, 2024Updated last year
• tintinweb / solidity-shell

  View on GitHub
  An interactive Solidity Shell
  ☆541May 28, 2023Updated 2 years ago
• a16z / halmos

  View on GitHub
  A symbolic testing tool for EVM smart contracts
  ☆967Aug 6, 2025Updated 6 months ago
• starknet-io / starknet.js

  View on GitHub
  JavaScript library for StarkNet
  ☆1,265Updated this week
• dragonfly-xyz / useful-solidity-patterns

  View on GitHub
  ☆1,592Apr 10, 2025Updated 10 months ago
• OffcierCia / ultimate-defi-research-base

  View on GitHub
  Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.
  ☆2,168Jun 22, 2025Updated 7 months ago
• kadenzipfel / smart-contract-vulnerabilities

  View on GitHub
  A collection of smart contract vulnerabilities along with prevention methods
  ☆2,370Feb 8, 2026Updated last week
• Netflix / metaflow

  View on GitHub
  Build, Manage and Deploy AI/ML Systems
  ☆9,753Updated this week
• FuelLabs / fuel-core

  View on GitHub
  Rust full node implementation of the Fuel v2 protocol.
  ☆57,364Updated this week
• dlannan / swampy

  View on GitHub
  A luvit built multi player server with a web admin panel.
  ☆10Jun 3, 2023Updated 2 years ago
• alfredbaudisch / GodotDynamicInventorySystem

  View on GitHub
  Godot's fully dynamic inventory system, UI with infinite scrolling, item categories, equipment slots, database of items, inspired by Zeld…
  ☆617Oct 26, 2025Updated 3 months ago
• jcyk / seqgen

  View on GitHub
  Source code for our EMNLP19 paper "Retrieval-guided Dialogue Response Generation via a Matching-to-Generation Framework"
  ☆37Mar 20, 2020Updated 5 years ago
• nitinprakash96 / quotegen

  View on GitHub
  This is a JavaScript based Web App that uses API's and Ajax to generate random quotes
  ☆10Jan 26, 2017Updated 9 years ago
• EsfingeFramework / gamification

  View on GitHub
  A framework for implementing gamification in a application
  ☆18May 4, 2019Updated 6 years ago
• bepass-org / bepass

  View on GitHub
  A simple DPI bypass tool written in go
  ☆390Mar 9, 2024Updated last year
• willbasky / Awesome-list-of-Haskell-mentors

  View on GitHub
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆177Aug 31, 2022Updated 3 years ago
• arktools / openfdm

  View on GitHub
  An open source flight dynamics library for Modelica
  ☆20Sep 2, 2012Updated 13 years ago
• LeastAuthority / haskell-spake2

  View on GitHub
  SPAKE2 key exchange protocol for Haskell
  ☆14May 24, 2023Updated 2 years ago
• nasa / simupy-flight

  View on GitHub
  ☆98Dec 20, 2024Updated last year
• priyamittal15 / Implementation-of-Different-Deep-Learning-Algorithms-for-Fracture-Detection-Image-Classification

  View on GitHub
  Using-Deep-Learning-Techniques-perform-Fracture-Detection-Image-Processing Using Different Image Processing techniques Implementing Fract…
  ☆14May 20, 2022Updated 3 years ago
• d0nkeys / redteam

  View on GitHub
  Red Team Scripts by d0nkeys (ex SnadoTeam)
  ☆705Jul 27, 2020Updated 5 years ago
• renatoathaydes / actors

  View on GitHub
  Actor Model library for Dart.
  ☆48Oct 16, 2023Updated 2 years ago
• yzou2 / CRST

  View on GitHub
  Code for <Confidence Regularized Self-Training> in ICCV19 (Oral)
  ☆238Jul 23, 2020Updated 5 years ago
• larskuhtz / wai-cors

  View on GitHub
  A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai
  ☆26Apr 3, 2023Updated 2 years ago
• PrestaShop / ps_shoppingcart

  View on GitHub
  Adds a block containing the customer's shopping cart.
  ☆11Oct 9, 2025Updated 4 months ago
• A9HORA / Mindmaps

  View on GitHub
  This repository contains a graphical representation (Mind maps) of specific topics, so one can utilize it as a handbook for that specific…
  ☆17Feb 10, 2022Updated 4 years ago
• lperezp / culqi-angular

  View on GitHub
  Culqi implementation example in Angular using the ngx-culqi library.
  ☆11Updated this week
• afgprogrammer / Flutter-Shoes-Shop-App

  View on GitHub
  Flutter Shoes Shop Application Design and Animation - day 15
  ☆342Oct 22, 2023Updated 2 years ago
• NEU-REAL / EverySync-Hardware-Suite

  View on GitHub
  An Open Hardware Time Syncronization Sensor Suite
  ☆46Mar 27, 2025Updated 10 months ago
• input-output-hk / foliage

  View on GitHub
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆43Updated this week
• polkachu / ibc-relayer

  View on GitHub
  ☆13Sep 15, 2023Updated 2 years ago
• DarkKilauea / godot-scene-map

  View on GitHub
  Provides a helper node for building tile based worlds out of similarly sized scenes.
  ☆26Aug 12, 2021Updated 4 years ago
• SevKohler / Eos

  View on GitHub
  ETL engine to transform openEHR into OMOP. Loads OMOCL configuration files.
  ☆15Feb 3, 2026Updated 2 weeks ago
• emergent-analytics / workstreams

  View on GitHub
  This repository publishes notebooks created as part of an analysis of the 2020 COVID-19 crisis onto the economy, performed by a team of d…
  ☆12Aug 14, 2023Updated 2 years ago
• fponticelli / tempots

  View on GitHub
  A lightweight UI Framework
  ☆14Updated this week
• vkopli / gtsam_vio

  View on GitHub
  Visual Inertial Odometry (VIO) / Simultaneous Localization & Mapping (SLAM) using iSAM2 framework from the GTSAM library.
  ☆154Sep 3, 2020Updated 5 years ago
• viproma / cppfmu

  View on GitHub
  Interfaces and helper functions for writing FMI-compliant model/slave code in C++
  ☆36Oct 31, 2025Updated 3 months ago
• simonnorberg / fling-animation-demo

  View on GitHub
  Demo of the Android FlingAnimation API
  ☆10Mar 20, 2020Updated 5 years ago
• TrueMoein / smsir

  View on GitHub
  ✅ Official Sms.ir Laravel Package. With Logger & Admin Panel for Sent Messages logs.
  ☆16Jun 30, 2018Updated 7 years ago