Alternatives and similar repositories for bound_propagation

Users that are interested in bound_propagation are comparing it to the libraries listed below

• RedMads / redmads.github.io
  ☆13Updated 4 years ago
• samcoppini / Discord-Poker-Bot
  A bot for playing Texas Hold'em over Discord
  ☆14Updated 4 years ago
• Andrii1477 / CS-GO
  In my youth, like everyone else, I probably loved CS GO very much. Now I play such competitive games less, but I really like to watch str…
  ☆10Updated 2 years ago
• RedMads / RedCipher
  Advanced Encryption / Decryption program !
  ☆14Updated 2 years ago
• smidl / AnomalyDetection.jl
  ☆18Updated 6 years ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆117Updated 3 weeks ago
• enfycius / enfycius
  ☆10Updated 3 weeks ago
• isyuricunha / NecesseMod-CarpentersSalvation
  The early stages of a mod for the game Necesse that strives to add various building objects and cosmetic options to in game structures.
  ☆10Updated 10 months ago
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆232Updated 5 months ago
• gerMdz / IncaLINKS
  Enlaces dinámicos fáciles de recordar
  ☆15Updated 2 months ago
• kagsa / kagsa-vscode
  Syntax Highlighter for VSC
  ☆20Updated 2 years ago
• tylerlight071 / Project-Cipher
  A text based hacking game with ascii graphics played directly from your terminal. Made entirely with Python! (Still in development)
  ☆12Updated last year
• Verified-Intelligence / alpha-beta-CROWN
  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
  ☆316Updated 8 months ago
• marjanmokhtari / Home-furniture
  ☆10Updated 2 years ago
• kagsa / kagsa-html
  kagsa web framework
  ☆15Updated last year
• akchurinda / Fortuna.jl
  General-purpose package for structural and system reliability analysis purely written in the Julia programming language.
  ☆20Updated last month
• aidevnn / FastGoat
  What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…
  ☆13Updated last month
• isyuricunha / github-auto-follow-and-unfollow
  This script checks who you are following and who is following you. If you follow someone who doesn't follow you, he'll unfollow you. If s…
  ☆12Updated 2 months ago
• isyuricunha / rain-for-relax
  A simple website with rain sound to relax.
  ☆17Updated last month
• capwan / Password-Generator
  Password Generator
  ☆11Updated 3 months ago
• Emakiflom / alx-system_engineering-devops
  system_engineering-devops for the alx
  ☆13Updated last year
• isyuricunha / yuricunha
  ☆10Updated 2 years ago
• kagsa / kagsa-npp
  Syntax Highlight for Notepad++
  ☆14Updated 2 years ago
• maryamparvaz / fashion-demo
  ☆11Updated last year
• gerMdz / PayunPILE
  Reservas para eventos con envío de email de confirmación, lector QR y emisión de reportes.
  ☆19Updated 2 months ago
• isyuricunha / github-follow-bot
  Automated follow/unfollow bot for GitHub. Follow from multiple sources. Choose which users to unfollow. Custom options to control bot spe…
  ☆14Updated last year
• huanzhang12 / RecurJac-and-CROWN
  Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…
  ☆26Updated 5 years ago
• Makitey / alx-pre_course
  I'm now a ALX Student, this is my first repository as a full-stack engineer
  ☆15Updated 2 years ago
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated 6 months ago
• KaidiXu / Beta-CROWN
  β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
  ☆29Updated 3 years ago