Alternatives and similar repositories for swebok-v3

Users that are interested in swebok-v3 are comparing it to the libraries listed below

• konnov / fault-tolerant-benchmarks

  View on GitHub
  Fault-tolerant distributed algorithms encoded in a formal language
  ☆14Nov 30, 2020Updated 5 years ago
• talex5 / spec-vchan

  View on GitHub
  A TLA+ specification for the Xen vchan protocol
  ☆15Jan 7, 2026Updated last month
• ispras / proceedings

  View on GitHub
  Proceedings of ISP RAS LaTeX Template
  ☆13Apr 28, 2020Updated 5 years ago
• gpetiot / Frama-C-Mutation

  View on GitHub
  Generation of mutant programs
  ☆20Oct 31, 2018Updated 7 years ago
• ldv-klever / klever

  View on GitHub
  Read-only mirror of the Klever Git repository
  ☆25Jan 21, 2026Updated 3 weeks ago
• nikita-b / awesome-linux-internals

  View on GitHub
  ☆24May 17, 2023Updated 2 years ago
• thierry-tct / mart

  View on GitHub
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Jul 25, 2022Updated 3 years ago
• zwustudy / HelloPython

  View on GitHub
  Nothing fancy. Just where I fight with python
  ☆10Sep 24, 2018Updated 7 years ago
• pmoerenhout / jsmpp-sample-spring-boot

  View on GitHub
  jSMPP server and client example using Spring Boot
  ☆13Mar 24, 2023Updated 2 years ago
• artjoma / actis

  View on GitHub
  Ethereum private blockchain monitoring tool
  ☆11Sep 4, 2017Updated 8 years ago
• iMastersDev / cielo

  View on GitHub
  Pacote de integração com a Cielo
  ☆23Mar 28, 2011Updated 14 years ago
• hhu-stups / prob-rodinplugin

  View on GitHub
  (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
  ☆19Jan 24, 2026Updated 3 weeks ago
• MiracleWong / RubyProgramming5nd

  View on GitHub
  《Ruby 基础教程（第5版）》
  ☆10Jan 12, 2018Updated 8 years ago
• tachcard / watchdog

  View on GitHub
  ☆10Apr 9, 2015Updated 10 years ago
• Mrktn / ccg

  View on GitHub
  CCG is a random C Code Generator
  ☆44Sep 11, 2022Updated 3 years ago
• claudiodekker / changelog-updater

  View on GitHub
  A PHP Library & Github Action to add entries to your CHANGELOG.md files
  ☆13Aug 12, 2025Updated 6 months ago
• tych0 / presentations

  View on GitHub
  Code/instructions for various slides/demos I've given
  ☆12Oct 27, 2017Updated 8 years ago
• gitorious / git-archive-daemon

  View on GitHub
  Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)
  ☆13Nov 18, 2014Updated 11 years ago
• lostbearlabs / tiny-tlaplus-examples

  View on GitHub
  Very small examples of TLA+ features.
  ☆42Apr 14, 2019Updated 6 years ago
• pumano / spectron-typescript-starter

  View on GitHub
  Spectron TypeScript Starter for e2e testing electron applications
  ☆15Sep 28, 2018Updated 7 years ago
• ash / allperlbooks

  View on GitHub
  allperlbooks.com data
  ☆10Oct 20, 2024Updated last year
• dadoscope / igrejasevangelicas

  View on GitHub
  Análise sobre o crescimento das igrejas evangélicas no Brasil (2003-2013)
  ☆10Apr 26, 2022Updated 3 years ago
• OpenVZ / vcmmd

  View on GitHub
  [mirror] Virtuozzo containers memory management daemon
  ☆10Apr 29, 2024Updated last year
• relan / msr.kext

  View on GitHub
  OS X kernel extension for reading MSRs (Model Specific Registers)
  ☆12Sep 27, 2016Updated 9 years ago
• mathiasverraes / jira-issues-in-github

  View on GitHub
  Turn Jira issue numbers (like XX-123) in GitHub into links.
  ☆15Mar 6, 2018Updated 7 years ago
• unwireddevices / unwired-smarthome

  View on GitHub
  Unwired Devices Smarthome system. Based on Contiki 3, СС2650/СС1310
  ☆10Nov 1, 2017Updated 8 years ago
• jbit / ubus-rs

  View on GitHub
  OpenWRT ubus client library in pure Rust
  ☆12Jan 25, 2025Updated last year
• sami-evangelista / helena

  View on GitHub
  the helena Petri net tool repository
  ☆11Sep 8, 2021Updated 4 years ago
• ahmadnassri / restful-zend-framework-example

  View on GitHub
  Example RESTful Application using Zend Framework 1.0
  ☆27May 10, 2015Updated 10 years ago
• michael-rubel / laravel-stripe-integration

  View on GitHub
  Ready-to-use Stripe integration in Laravel
  ☆11Feb 9, 2024Updated 2 years ago
• itchyny / screensaver.c

  View on GitHub
  A clock screensaver in terminal
  ☆10Dec 20, 2014Updated 11 years ago
• smalldogs / html5inputs

  View on GitHub
  Composer package which adds support for HTML5 elements using Laravels Form interface (e.g. Form::date())
  ☆11May 25, 2015Updated 10 years ago
• vlsi / github-actions-random-matrix

  View on GitHub
  Generate GitHub Actions matrix on the fly based on your constraints
  ☆12Apr 1, 2024Updated last year
• antmicro / usb-test-suite-cocotb-usb

  View on GitHub
  ☆10Apr 8, 2021Updated 4 years ago
• lujingtao / chrome-plugin-SimpleOneClickLogin

  View on GitHub
  chrome plugin SimpleOneClickLogin。chrome自制插件--简单一键登录（附插件开发介绍）
  ☆11Oct 15, 2019Updated 6 years ago
• Echsecutor / coffee

  View on GitHub
  coffee stains package for latex
  ☆12Dec 7, 2020Updated 5 years ago
• SocialiteProviders / GovBR

  View on GitHub
  [READ ONLY] Subtree split of the SocialiteProviders/GovBR Provider (see SocialiteProviders/Providers)
  ☆10Nov 7, 2024Updated last year
• ianmiell / shutit-criu

  View on GitHub
  Play with CRIU in vagrant, all automated.
  ☆10Oct 11, 2015Updated 10 years ago
• DRMacIver / hypothesis-training

  View on GitHub
  Repository for my Hypothesis training course
  ☆11Sep 30, 2016Updated 9 years ago