Alternatives and similar repositories for neural-verification

Users that are interested in neural-verification are comparing it to the libraries listed below

• CrazySpottedDove / Lab-Assistance

  View on GitHub
  一个桌面应用，可以在考虑有效数字的同时进行数据处理，计算不确定度，并支持导出 LaTeX 图表代码
  ☆13Feb 3, 2025Updated last year
• abc1763613206 / ACNoCode

  View on GitHub
  AC No Code 是偷懒者最好的在OJ中写代码AC的方式: Write nothing; submit nowhere.
  ☆10May 18, 2020Updated 5 years ago
• ScrisStudio / flowerpassword-electron

  View on GitHub
  使用Electron构建的现代花密实现。
  ☆10Oct 12, 2021Updated 4 years ago
• AngelaZZZ-611 / reasoning_models_probing

  View on GitHub
  ☆17May 3, 2025Updated 9 months ago
• windlandneko / Chem-Calculator

  View on GitHub
  化学式自动配平计算器
  ☆11Jul 28, 2022Updated 3 years ago
• haihabi / PyNNcml

  View on GitHub
  Library for rain estimation and detection built with PyTorch. This library provides an implementation of algorithms for extracting rain-r…
  ☆12Jan 10, 2026Updated last month
• ranwen / BZOJHelper

  View on GitHub
  BZOJ助手
  ☆10May 29, 2019Updated 6 years ago
• KuangPF / ribbons

  View on GitHub
  🌈 Add a flowing, smart ribbon to the background.
  ☆13Jan 4, 2023Updated 3 years ago
• mrnoplay / mrnoplay

  View on GitHub
  Give an end to no-end rests and play times. On Windows, macOS and Web.
  ☆13Oct 5, 2023Updated 2 years ago
• medz / qq-emoicon

  View on GitHub
  目前最新的QQ表情资源。
  ☆10Sep 13, 2020Updated 5 years ago
• oi-archive / crawler

  View on GitHub
  题库爬虫
  ☆10Mar 6, 2023Updated 2 years ago
• memset0 / gatsby-blog

  View on GitHub
  The next generation of my blog
  ☆11Jun 9, 2025Updated 8 months ago
• Teahouse-Studios / tinter

  View on GitHub
  女生自用你画我猜多人游戏服务
  ☆10May 29, 2024Updated last year
• mcfx / generals.io_copy

  View on GitHub
  An imitation of generals.io https://generals.mcfx.us
  ☆12Apr 25, 2021Updated 4 years ago
• ForkKILLET / cuiping.js

  View on GitHub
  A TypeScript library rendering chemistry strutures to SVG
  ☆11Sep 17, 2024Updated last year
• memset0 / membot

  View on GitHub
  An open source & cross-platform chatbot
  ☆12Jan 16, 2023Updated 3 years ago
• YijunYuan / Minecraft_MD5

  View on GitHub
  Calculating MD5 in Minecraft 1.13+
  ☆10Mar 1, 2019Updated 6 years ago
• folivetti / srtree

  View on GitHub
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆16Updated this week
• Zhang-Yihao / Transfomer2DFA

  View on GitHub
  Implementation for paper Automata Extraction from Transformers.
  ☆11Jun 8, 2024Updated last year
• riteme / toys

  View on GitHub
  ☆13May 12, 2021Updated 4 years ago
• shigma / base16384.js

  View on GitHub
  Base16384 encoder and decoder
  ☆11Aug 8, 2022Updated 3 years ago
• TonyCrane / mkdocs-heti-plugin

  View on GitHub
  A MkDocs plugin that uses heti to improve typesetting
  ☆13Sep 30, 2023Updated 2 years ago
• TencentAILabHealthcare / scpDeconv

  View on GitHub
  ☆11Mar 20, 2024Updated last year
• syzoj / syzoj-renderer

  View on GitHub
  SYZOJ2's renderer for markdown, math and highlight
  ☆12Jul 11, 2023Updated 2 years ago
• richardjgowers / poreblazer

  View on GitHub
  Poreblazer is a set of Fortran 90 tools for structural characterization of porous materials.
  ☆13Feb 28, 2018Updated 7 years ago
• dtcxzyw / static-key

  View on GitHub
  Header-only C/C++ static keys to avoid the overhead of conditional branches
  ☆14Feb 10, 2024Updated 2 years ago
• ToyotaResearchInstitute / tristan

  View on GitHub
  TRISTAN: TRI's Situation and Trajectory Anticipation Networks
  ☆14Jul 18, 2023Updated 2 years ago
• kaloronahuang / KaloronaCodebase

  View on GitHub
  Kalorona's codebase of OI.
  ☆12Dec 29, 2023Updated 2 years ago
• kaleo996 / ZJU-Discrete-Math-2022

  View on GitHub
  我2022年春夏学期修读离散数学及其应用时用语雀做的笔记，现在导出放在GitHub上给大家看，希望能帮学弟学妹们省点做笔记的时间。
  ☆13Mar 5, 2023Updated 2 years ago
• memset0 / oi-archive-vue-frontend

  View on GitHub
  yet another thirdparty Vue-powered frontend for OI-archive project
  ☆11Sep 28, 2020Updated 5 years ago
• loonwerks / AGREE

  View on GitHub
  Assume-Guarantee REasoning Environment
  ☆19Dec 3, 2025Updated 2 months ago
• YanWQ-monad / LuoguWatermark

  View on GitHub
  洛谷水印减弱工具（已经没用了）
  ☆13Aug 8, 2019Updated 6 years ago
• SAVIA7582 / Exterior

  View on GitHub
  SAVIA‘s Exterior for notes about ChemEng, Computer Science and so on
  ☆19Jan 4, 2026Updated last month
• ZhoBudweiser / BusGo

  View on GitHub
  🚐 The convenient traffic auxiliary tool
  ☆14Dec 28, 2025Updated last month
• re-ovo / KitPVP

  View on GitHub
  KitPVP Plugin for PVP servers
  ☆15Dec 19, 2018Updated 7 years ago
• daeheepark / TrajSDE

  View on GitHub
  [AAAI 2024] Improving Transferability for Cross-domain Trajectory Prediction via Neural Stochastic Differential Equation
  ☆20Mar 31, 2024Updated last year
• kokororin / typecho-plugin-ymplayer

  View on GitHub
  A typecho plugin for ymplayer https://github.com/kirainmoe/ymplayer
  ☆10Feb 10, 2017Updated 9 years ago
• Guahao31 / 2024_DD

  View on GitHub
  浙江大学 2023-2024 学年春夏学期《数字逻辑设计》实验文档。
  ☆13Dec 9, 2024Updated last year
• RimoChan / rimo-lab

  View on GitHub
  莉沫酱人体实验室！
  ☆12Oct 2, 2022Updated 3 years ago