Alternatives and similar repositories for av-doc-technical-specification

Users that are interested in av-doc-technical-specification are comparing it to the libraries listed below

• kamel78 / DBPL

  View on GitHub
  Bilinear Pairings Components Library for Delphi
  ☆12Dec 19, 2018Updated 7 years ago
• Hamsda / EmoTrackerPacks

  View on GitHub
  OoT Rando Map Tracker pack for EmoTracker
  ☆13Dec 7, 2023Updated 2 years ago
• tatsatb / bestatic

  View on GitHub
  GitHub repo for Bestatic, a simple but really powerful static-site generator, written in Python and Jinja2.
  ☆11Jan 4, 2026Updated last month
• proxima-one / keccak-circuit-benchmarks

  View on GitHub
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Oct 1, 2023Updated 2 years ago
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• pondron / valid8r

  View on GitHub
  An open-source command line interface for linting your Ethereum 2.0 validator set up
  ☆14May 17, 2021Updated 4 years ago
• ia-flash / matchvec

  View on GitHub
  Reconnaître la marque/modèle des véhicules dans une image
  ☆11Mar 31, 2023Updated 2 years ago
• axblk / teeworlds

  View on GitHub
  A retro multiplayer shooter
  ☆11Jun 1, 2024Updated last year
• Modulus-Labs / Papers

  View on GitHub
  Repository of papers released by Modulus Labs
  ☆13Mar 13, 2024Updated last year
• yglukhov / nim-docker

  View on GitHub
  Auto-built docker image with latest Nim devel version
  ☆10Jul 21, 2023Updated 2 years ago
• spring-epfl / voteagain

  View on GitHub
  Proof of concept code for VoteAgain paper
  ☆10Jul 23, 2023Updated 2 years ago
• bblum / landslide

  View on GitHub
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Dec 26, 2018Updated 7 years ago
• cTooshi / stardew-valley-randomizer

  View on GitHub
  A mod for stardew valley, that randomizes many aspects of the game, uses SMAPI.
  ☆13Feb 4, 2020Updated 6 years ago
• mratsim / talks

  View on GitHub
  A repo of my talks
  ☆11Nov 28, 2023Updated 2 years ago
• andreaferretti / neurotic

  View on GitHub
  ☆11Nov 29, 2017Updated 8 years ago
• jatinhemnani01 / extension-with-svelte

  View on GitHub
  ☆10Dec 12, 2023Updated 2 years ago
• andreapavoni / parabellum

  View on GitHub
  An attempt to build a #Travian 3.x clone written in #Rust.
  ☆16Jan 30, 2026Updated 2 weeks ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• Consensys / eth2stats-server

  View on GitHub
  Server and dashboard components
  ☆12Jun 24, 2024Updated last year
• zer0net / zerovoat

  View on GitHub
  1J1c7eML6uMwDU4uiKbKRxoqxGP6WMFMvb
  ☆10Feb 18, 2019Updated 6 years ago
• zegalur / godot_grass_demo

  View on GitHub
  Simple interactive grass for Godot 4
  ☆15Jun 14, 2023Updated 2 years ago
• SciNim / polynumeric

  View on GitHub
  A nim module to handle polynomials
  ☆13Jun 7, 2022Updated 3 years ago
• Consensys / bavard

  View on GitHub
  WIP: code generation package in Go -- used by gnark, goff and gurvy
  ☆14Jan 18, 2026Updated 3 weeks ago
• WenjianYu / rSVD-single-pass

  View on GitHub
  randomized SVD with single pass over data matrix
  ☆10Apr 23, 2023Updated 2 years ago
• bbuhrow / avx512_modexp

  View on GitHub
  A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic
  ☆12Dec 18, 2023Updated 2 years ago
• nikki93 / ng-public

  View on GitHub
  ☆12Nov 23, 2020Updated 5 years ago
• TheMorpheus407 / LinuxChooser

  View on GitHub
  ☆25Updated this week
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• entrepreneur-interet-general / site-eig

  View on GitHub
  Site du programme Entrepreneurs d'Intérêt Général
  ☆14Oct 6, 2022Updated 3 years ago
• kobigurk / zkhack-double-trouble

  View on GitHub
  ☆10Jan 7, 2024Updated 2 years ago
• asanso / CryptoWithSageMath

  View on GitHub
  Cryptography in SageMath.
  ☆10Dec 17, 2018Updated 7 years ago
• haxscramper / ngspice

  View on GitHub
  Analog circuit simulation library; wrapper for ngspice
  ☆10Aug 31, 2020Updated 5 years ago
• mubaidr / prerender-plugin

  View on GitHub
  A Node.js/ webpack plugin to prerender static HTML in a single-page application.
  ☆14Jul 1, 2021Updated 4 years ago
• metacraft-labs / py2nim_deprecated

  View on GitHub
  ☆12Apr 10, 2019Updated 6 years ago
• MASSHUU12 / godot-control-3d

  View on GitHub
  Plugin allowing use of SubViewports to display 2D interfaces in 3D.
  ☆12Oct 31, 2023Updated 2 years ago
• ringverse / protocol

  View on GitHub
  Reverse engineering smart ring protocols
  ☆26Nov 6, 2024Updated last year
• Bennycopter / WaniKani-Wallpaper-Generator

  View on GitHub
  Wallpaper generator to show progress on WaniKani
  ☆11Oct 7, 2024Updated last year
• lights0123 / ddelta-rs

  View on GitHub
  Rust port of the streaming ddelta patch algorithm, based on bsdiff
  ☆12May 2, 2024Updated last year
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated 3 weeks ago