Alternatives and similar repositories for cis2m

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

• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• AMOS-ss16-proj3 / amos-ss16-proj3

  View on GitHub
  Repository for the wireshark plugin development project of the AMOS 16 course
  ☆10Jan 6, 2017Updated 9 years ago
• NYSCF / monoqlo_release

  View on GitHub
  Public release of Monoqlo Python code
  ☆10Apr 19, 2022Updated 3 years ago
• kihso / MRTCC

  View on GitHub
  VESTAS - Multi-Rotor Wind Turbine Control Challenge for CCTA 2018 - IEEE Control Systems Society Copenhagen
  ☆10Jun 25, 2021Updated 4 years ago
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• SmnTin / lincheck

  View on GitHub
  A linearizability checker for concurrent data structures
  ☆12Aug 3, 2023Updated 2 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• iscar-ucm / xdevs

  View on GitHub
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆14Nov 14, 2025Updated 3 months ago
• leeprichman / ClonoCluster

  View on GitHub
  Combined clonality and transcriptome scRNAseq clustering method
  ☆11Dec 3, 2022Updated 3 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• oguyon / AdaptiveOpticsControl

  View on GitHub
  Adaptive Optics Control Computation Engine (AOCCE)
  ☆11Oct 1, 2017Updated 8 years ago
• maximilianh / pubMunch3

  View on GitHub
  various tools to download, convert and process the full text of scientific articles
  ☆10Apr 2, 2024Updated last year
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• chenweiphd / OpenEDA-ChipGPT-Hub

  View on GitHub
  ☆12Jun 22, 2023Updated 2 years ago
• RotemBenHur / SIMPLE-MAGIC

  View on GitHub
  SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC
  ☆15Jan 23, 2020Updated 6 years ago
• sapotools / sapo

  View on GitHub
  Reachability analysis and synthesis of parameters for polynomial dynamical systems
  ☆11May 15, 2023Updated 2 years ago
• luo-yuanfu / nonholonomic-improved-RRT-path-planning-using-BSpline

  View on GitHub
  nonholonomic improved RRT path planning using BSpline and heuristic function
  ☆10Aug 7, 2015Updated 10 years ago
• GaloisInc / lustre

  View on GitHub
  A parser and AST for Lustre
  ☆12Oct 30, 2024Updated last year
• eytans / easter-egg

  View on GitHub
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Mar 27, 2025Updated 10 months ago
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆12Updated this week
• yaohsiaopid / rtl2uspec

  View on GitHub
  ☆11Jul 1, 2025Updated 7 months ago
• mishmashclone / wcventure-FuzzingPaper

  View on GitHub
  https://github.com/wcventure/FuzzingPaper
  ☆10Jan 15, 2022Updated 4 years ago
• dmalyuta / explicit_hybrid_mpc

  View on GitHub
  Approximate Multiparametric Mixed-integer Convex Programming
  ☆15May 16, 2019Updated 6 years ago
• prismmodelchecker / prism-benchmarks

  View on GitHub
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…
  ☆11Mar 12, 2025Updated 11 months ago
• reemagit / GraphKernel

  View on GitHub
  Package to evaluate network-propagation-based similarity measures between nodes in a networkX graph
  ☆10Jul 31, 2018Updated 7 years ago
• KimMeen / STGCN

  View on GitHub
  A PyTorch implementation of the paper https://arxiv.org/abs/1709.04875
  ☆10Jul 22, 2020Updated 5 years ago
• ByronHsu / FRAIGs

  View on GitHub
  C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.
  ☆10Oct 21, 2020Updated 5 years ago
• ssoelvsten / buddy

  View on GitHub
  BuDDy BDD package (with CMake support)
  ☆15May 7, 2024Updated last year
• utiasDSL / code-release

  View on GitHub
  A repository analyzing the impact of open-source code in machine learning, robotics, and controls research
  ☆11Sep 11, 2024Updated last year
• fm-polimi / zot

  View on GitHub
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Jan 11, 2021Updated 5 years ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆14Oct 14, 2025Updated 4 months ago
• golems / motion-grammar-kit

  View on GitHub
  Formal Language Tools for Robots
  ☆15Jun 29, 2016Updated 9 years ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• comsec-group / cellift-yosys

  View on GitHub
  A fork of Yosys that integrates the CellIFT pass
  ☆13Jul 23, 2025Updated 6 months ago
• koichirokato / gazebo_sfm_tb3_ros2

  View on GitHub
  sfm model and turtlebot3 on gazebo using ros2
  ☆10Jan 14, 2023Updated 3 years ago
• fm4se / fm-playground

  View on GitHub
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
  ☆19Updated this week
• NikolayOskolkov / NormalizeSingleCell

  View on GitHub
  Comparison of single cell normalization strategies
  ☆10Aug 13, 2021Updated 4 years ago
• gokhankici / iodine

  View on GitHub
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆15Mar 29, 2021Updated 4 years ago