Alternatives and similar repositories for csaudk-submitj

Users that are interested in csaudk-submitj are comparing it to the libraries listed below

• Kattis / problem-package-format
  Kattis problem package format specification
  ☆12Updated last week
• vlaamseprogrammeerwedstrijd / opgaves
  Opgaves van de voorbije jaren
  ☆22Updated last year
• qntm / greenery
  Regular expression manipulation library
  ☆364Updated last year
• phreppo / rat
  🐀 Regular Expression Denial of Service analyzer.
  ☆25Updated last year
• ssoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆16Updated 3 weeks ago
• offsoc / exploitdb
  The Exploit Database - Exploits, Shellcode, 0days, Remote Exploits, Local Exploits, Web Apps, Vulnerability Reports, Security Articles, T…
  ☆12Updated 2 weeks ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆380Updated this week
• swiftbird07 / elastic-agent-android
  🚀 Enterprise-grade Android Monitoring with Elastic: Streamline Fleet Management and Security Insights. 📊
  ☆10Updated 2 months ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆246Updated last month
• rocket3989 / worlds-2019
  ☆14Updated 5 years ago
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆22Updated last month
• RonSijm / ButtFish
  Effortlessly transmitting Morse Code of chess moves to your butthole 💝
  ☆1,472Updated 2 years ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• scalyr / samples
  Data samples for Observability and SIEM
  ☆10Updated 3 weeks ago
• goblint / analyzer
  Static analysis framework for C
  ☆200Updated last week
• TotalTechGeek / pictoprime
  Generate prime numbers from pictures!
  ☆333Updated 3 years ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• RigspolitietNC3 / nc3ctf2018
  NC3 Jule CTF 2018
  ☆12Updated 5 years ago
• laurajanegraham / surface_area
  ☆146Updated 4 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated 9 months ago
• PhilippSieber / hackyeaster-2022
  ☆10Updated 2 years ago
• check24-scholarships / holiday-challenge
  ☆23Updated last year
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated this week
• UCL-INGI / LINGI1123-Calculabilite
  ☆16Updated 3 years ago
• anonymus1928 / Szerveroldali
  ☆7Updated 2 weeks ago
• YourMJK / tum-live-recorder
  Mit diesen Bash-Skripten kann der aktuell laufende Livestream von live.rbg.tum.de lokal aufgezeichnet werden
  ☆11Updated 5 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆19Updated 3 weeks ago
• sola-st / DyPyBench
  ☆13Updated last year