Alternatives and similar repositories for PRODeep

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

• iscas-tis / ePMC

  View on GitHub
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Jan 13, 2025Updated last year
• jstraub / bnp

  View on GitHub
  C++ code and Python wrappers for Inference on Bayesian Non-Parametric Models
  ☆12May 22, 2013Updated 12 years ago
• tecnomod-um / OntoGenix

  View on GitHub
  A semi-automated system based on LLM's to generate ontologies from datasets
  ☆18Oct 29, 2024Updated last year
• lx709 / REOBench

  View on GitHub
  REOBench: Benchmarking Robustness of Earth Observation Foundation Models
  ☆25Oct 28, 2025Updated 3 months ago
• Zheng222 / TSCN

  View on GitHub
  Caffe implementation of "Two-Stage Convolutional Network for Image Super-Resolution" (ICPR 2018)
  ☆10Dec 4, 2018Updated 7 years ago
• hnakamur / d3.js-drag-bezier-curves-example

  View on GitHub
  an example of dragging control points of bezier curves using d3.js
  ☆10Sep 6, 2014Updated 11 years ago
• Elzawawy / compiler-frontend

  View on GitHub
  First two front-end phases of a language-independent compiler implemented in C++
  ☆14Jul 27, 2020Updated 5 years ago
• grin-compiler / ghc-wpc

  View on GitHub
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Feb 14, 2024Updated 2 years ago
• lovelyyoshino / Ubuntu-SoftWare-Automatic-Install

  View on GitHub
  Ubuntu 配置脚本 全功能美化一键安装 Linux Auto Configuration Script for ubuntu 14.04 to 22.04
  ☆17Jul 8, 2025Updated 7 months ago
• lbaca / PSCodeAnalyzer

  View on GitHub
  A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.
  ☆11Apr 10, 2021Updated 4 years ago
• ekcomputer / pixel-smasher

  View on GitHub
  Working version of Basic Super-Resolution Toolbox for class project.
  ☆12Jan 24, 2023Updated 3 years ago
• iscas-versys / BMCFuzz

  View on GitHub
  ☆21Feb 2, 2026Updated last week
• choukh / MetaZF

  View on GitHub
  Coq集合模型论
  ☆11Aug 18, 2022Updated 3 years ago
• vardigroup / lisa

  View on GitHub
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Sep 27, 2021Updated 4 years ago
• makaimann / ride-core-demo

  View on GitHub
  A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core
  ☆12May 24, 2019Updated 6 years ago
• ckaestne / undertaker

  View on GitHub
  ☆12Aug 13, 2014Updated 11 years ago
• Amirbabaeian / manifold-clustering-algorithm

  View on GitHub
  The source code to cluster multiple manifolds with intersection
  ☆11Apr 18, 2017Updated 8 years ago
• p-kar / a2c-acktr-vizdoom

  View on GitHub
  A2C, ACKTR and A2T implementations for ViZDoom
  ☆10Dec 18, 2017Updated 8 years ago
• IBM / raven-large-language-models

  View on GitHub
  Code for I-RAVEN-X generation and experiments
  ☆19Sep 18, 2025Updated 4 months ago
• tomMoral / Dicod

  View on GitHub
  Experiments for ICML paper DICOD: Distributed Convolutional Coordinate Descent for Convolutional Sparse Coding, ICML 2018, T. Moreau, L. …
  ☆12Jan 24, 2019Updated 7 years ago
• stefan-hoeck / cyby2

  View on GitHub
  A library for writing chemical and biological data management systems
  ☆10Oct 24, 2019Updated 6 years ago
• kris-brown / cql_data_integration

  View on GitHub
  Interface for generating Categorical Query Language files to merge/migrate data between databases
  ☆14Aug 9, 2021Updated 4 years ago
• bin2415 / llvm_CGPass

  View on GitHub
  llvm Call Graph分析
  ☆10May 27, 2017Updated 8 years ago
• KuceraMartin / Type-inference-for-plain-text-SQL

  View on GitHub
  Code from the Functional Scala Conference talk: Type inference for plain-text SQL
  ☆10Dec 5, 2024Updated last year
• ElementAI / lagr

  View on GitHub
  LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing
  ☆10Jun 1, 2022Updated 3 years ago
• xiaoweih / AISafetyLectureNotes

  View on GitHub
  Machine Learning Safety
  ☆43Feb 3, 2026Updated last week
• tofu-tf / shalter

  View on GitHub
  ☆12Jul 28, 2024Updated last year
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 8 years ago
• lzhihan / yolov5_Visible_Infrared_Vehicle_Detection

  View on GitHub
  基于红外、可见光双光源的车辆目标检测
  ☆16Apr 20, 2022Updated 3 years ago
• chenjia5220967 / CSSFc

  View on GitHub
  experiemntal code for “Spatiotemporal Fusion of MODIS and Landsat-7 Reflectance Images via Compressed Sensing”
  ☆11Mar 22, 2019Updated 6 years ago
• davidstutz / bachelor-thesis-superpixels

  View on GitHub
  Bachelor thesis "Superpixel Segmentation using Depth Information", including a thorough comparison of several state-of-the-art superpixel…
  ☆11Nov 28, 2018Updated 7 years ago
• iscas-tis / ChiRVFormal

  View on GitHub
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.
  ☆18Feb 3, 2026Updated last week
• linlsyf / CantoneseDict

  View on GitHub
  粤语开放词典
  ☆10Oct 13, 2023Updated 2 years ago
• marijavella / sr-via-CNNs-and-tvtv

  View on GitHub
  Robust Single-Image Super-Resolution via CNNs and TV-TV Minimization (IEEE Transactions on Image Processing)
  ☆11Oct 21, 2021Updated 4 years ago
• eth-sri / proof-sharing

  View on GitHub
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Dec 19, 2022Updated 3 years ago
• YuanfeiHuang / MMPM

  View on GitHub
  codes for MMPM (TIP2018)
  ☆12Mar 29, 2021Updated 4 years ago
• bhy / mcvi

  View on GitHub
  Monte Carlo value iteration for continuous-state POMDPs
  ☆12Sep 3, 2013Updated 12 years ago
• Saiteja-Reddy / Decaf-Compiler

  View on GitHub
  A Compiler made for the Decaf Language using Flex, Bison and LLVM IR for generating code dump and interpreting.
  ☆11Nov 30, 2018Updated 7 years ago
• trevorcampbell / sda-bnp

  View on GitHub
  Streaming, Distributed, Asynchronous Bayesian Nonparametric Inference
  ☆12Nov 2, 2015Updated 10 years ago