Alternatives and similar repositories for SDIP

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

• clash-lang / clash-protocols

  View on GitHub
  a battery-included library for dataflow protocols
  ☆24Updated this week
• christiaanb / contranomy

  View on GitHub
  ☆30Mar 2, 2021Updated 4 years ago
• ku-fpg / raspberry-pi

  View on GitHub
  ☆28Sep 9, 2014Updated 11 years ago
• fpco / schoolofhaskell

  View on GitHub
  ☆33Jan 5, 2016Updated 10 years ago
• aqjune / llvmscript

  View on GitHub
  One-for-all python script for running LLVM experiment
  ☆11Jun 30, 2022Updated 3 years ago
• cnscorpions / css-eevee

  View on GitHub
  draw a Pokemon Eevee via CSS 使用CSS画一个😍伊布，每个都可以领养
  ☆10Mar 6, 2021Updated 4 years ago
• josephsdavid / ChinesePM

  View on GitHub
  Extensive time series analysis of chinese PM2.5 content, using models from ARMA and VAR to LSTMs and dynamic time warping clustering
  ☆11Aug 17, 2019Updated 6 years ago
• season-studio / FelisUSB

  View on GitHub
  A USB Stack for embedded system
  ☆13Sep 25, 2021Updated 4 years ago
• tkawata1025 / PepperTabletEmulator

  View on GitHub
  ☆13Feb 7, 2016Updated 10 years ago
• fredpdavis / mdlabbook

  View on GitHub
  mdlabbook is a markdown-format lab notebook
  ☆11Jan 11, 2017Updated 9 years ago
• todesking / typeclass_map

  View on GitHub
  ☆10Mar 15, 2019Updated 6 years ago
• prusa-dev / lpac-fibocom-wrapper

  View on GitHub
  ☆11Aug 9, 2024Updated last year
• iwiwi / hyperloglog-hip

  View on GitHub
  C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog
  ☆14Dec 3, 2016Updated 9 years ago
• ealmloff / dioxus-storage

  View on GitHub
  ☆12Dec 19, 2023Updated 2 years ago
• Tosainu / ultra96-fractal

  View on GitHub
  Hardware accelerated Julia set explorer running on Ultra96
  ☆13Jul 15, 2024Updated last year
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Feb 6, 2026Updated last week
• DnOberon / tdms

  View on GitHub
  Rust library for parsing TDMS files
  ☆12Jul 17, 2023Updated 2 years ago
• amlatyrngom / SQLIR

  View on GitHub
  SQL Optimizations using MLIR
  ☆12Apr 5, 2020Updated 5 years ago
• haileys / axum-range

  View on GitHub
  http range responses for axum
  ☆14Sep 16, 2025Updated 4 months ago
• etrombly / gcode-yew

  View on GitHub
  Minimal example of the gcode-rs crate with web assembly
  ☆11Jun 24, 2020Updated 5 years ago
• bobbydilley / JVSCore

  View on GitHub
  Linux user space device driver for JVS I/O Boards
  ☆12Jan 22, 2022Updated 4 years ago
• luckfox-eng29 / luckfox_pico_rtsp_opencv

  View on GitHub
  ☆13Oct 28, 2024Updated last year
• bravit / bob19-tutorial-types

  View on GitHub
  ☆12Jan 2, 2026Updated last month
• mqnfred / ffishim

  View on GitHub
  Generates ffi-compatible layer for your rust code
  ☆11Jul 4, 2020Updated 5 years ago
• momohatt / min-caml-jvm

  View on GitHub
  A tiny OCaml compiler with JVM backend 🐫☕️
  ☆11Mar 12, 2019Updated 6 years ago
• dz0ny / apt-transport-github

  View on GitHub
  Fetch debian packages via GIthub release API
  ☆13Dec 26, 2014Updated 11 years ago
• dioxus-community / dioxus-use-gesture

  View on GitHub
  ☆10Oct 27, 2024Updated last year
• sjansen / hoggle

  View on GitHub
  Standalone Custom Transfer Agent for Git LFS
  ☆13Sep 13, 2018Updated 7 years ago
• willi-kappler / simple_units

  View on GitHub
  A simple unit system for Rust
  ☆11Feb 24, 2017Updated 8 years ago
• LeonB / wineshm-go

  View on GitHub
  This package retrieves a Wine shared memory map file descriptor and makes it available in Linux.
  ☆10Jul 19, 2015Updated 10 years ago
• phire / llvm

  View on GitHub
  Videocore Backend for llvm
  ☆23Feb 3, 2015Updated 11 years ago
• haskell-actions / run-fourmolu

  View on GitHub
  Fourmolu GitHub Action
  ☆13Oct 25, 2024Updated last year
• pauls658 / ReluDiff-ICSE2020-Artifact

  View on GitHub
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆11Feb 1, 2022Updated 4 years ago
• validsdp / validsdp

  View on GitHub
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆12Feb 3, 2026Updated last week
• fifteenhex / snander_electricboogaloo

  View on GitHub
  Fork of SNANDer - Serial Nor/nAND/Eeprom programmeR with MStar ISP support
  ☆10May 20, 2023Updated 2 years ago
• MichaelEinhorn / trl-textworld

  View on GitHub
  ☆13May 7, 2023Updated 2 years ago
• yamadapc / haskell-hspec-setup

  View on GitHub
  Add a hspec test-suite in one command
  ☆10Aug 22, 2016Updated 9 years ago
• hlcm0 / chunithm-PSoC

  View on GitHub
  一个可参考的chunithm手台使用PSoC芯片的例子
  ☆17Jul 11, 2023Updated 2 years ago
• noreplydev / suiro

  View on GitHub
  Suiro is a reverse connection service written in rust for HTTP protocol based services.
  ☆11Dec 4, 2023Updated 2 years ago