AFifarek/SpeAR external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

AFifarek/SpeAR

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/AFifarek/SpeAR)

Close

AFifarek / SpeARView on GitHubMore

• External links
• Readme badge

Specification and Analysis for Requirements Tool

☆10Mar 31, 2016Updated 10 years ago

Alternatives and similar repositories for SpeAR

Users that are interested in SpeAR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• loonwerks / formal-methods-workbench

  View on GitHub
  ☆23Mar 24, 2023Updated 3 years ago
• OpenAADL / Crazyflie

  View on GitHub
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Mar 22, 2020Updated 6 years ago
• smaccm / smaccm

  View on GitHub
  ☆35May 8, 2019Updated 7 years ago
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 7 years ago
• rudenoise / qemu-solo5-mirage-rpi3

  View on GitHub
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Mar 12, 2016Updated 10 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• olizilla / ipfs-get

  View on GitHub
  Get and verify a file by CID from an IPFS gateway over http
  ☆14Jan 10, 2023Updated 3 years ago
• loonwerks / jkind

  View on GitHub
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆57Jul 3, 2025Updated last year
• Copilot-Language / copilot-verifier

  View on GitHub
  System for verifying the correctness of generated Copilot programs
  ☆19May 8, 2025Updated last year
• coco-team / cocoSim2

  View on GitHub
  Automated Analysis Framework for Simulink/Stateflow
  ☆14Jul 25, 2023Updated 3 years ago
• HongchaoZhang-HZ / exactverif-reluncbf-nips23

  View on GitHub
  Exact Verification of ReLU Neural Control Barrier Functions
  ☆12Oct 13, 2023Updated 2 years ago
• hathach / tinyusb_src

  View on GitHub
  Sources only, read-only mirror from hathach/tinyusb
  ☆16Updated this week
• lgwagner / SpeAR

  View on GitHub
  Specification and Analysis for Requirements Tool
  ☆21Mar 6, 2026Updated 4 months ago
• umangm / realsyn

  View on GitHub
  Automated Controller Synthesis
  ☆15Jun 27, 2018Updated 8 years ago
• hilinxinhui / battery_phm

  View on GitHub
  Algorithms for Battery Mangerment System
  ☆21Jan 16, 2024Updated 2 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• OpenAADL / ocarina

  View on GitHub
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆77Mar 23, 2022Updated 4 years ago
• nasa / VirtualADAPT

  View on GitHub
  ☆30Oct 14, 2017Updated 8 years ago
• nasa / CertWare

  View on GitHub
  ☆53Jun 26, 2016Updated 10 years ago
• redblame315 / PUNWebGLTest

  View on GitHub
  ☆11Feb 4, 2023Updated 3 years ago
• hathach / tinyusb-webusb-page

  View on GitHub
  Landing page used with TinyUSB WebUSB example
  ☆13Sep 4, 2025Updated 10 months ago
• aler9 / raspberry-imu-viewer

  View on GitHub
  view IMU estimates in 3D on a Rasberry Pi (MPU6000, MPU6050, MPU6500, ICM20600, ICM20601, ICM20602)
  ☆14Oct 21, 2024Updated last year
• ssube / prometheus_express

  View on GitHub
  Prometheus SDK for CircuitPython/MicroPython boards
  ☆18Oct 11, 2024Updated last year
• christiankyle-ching / DisableAutoLoginWin10

  View on GitHub
  Simple batch script to disable auto-logging in of passwordless last user in Windows 10
  ☆10Apr 30, 2022Updated 4 years ago
• zhicongsun / D4DGS-SLAM

  View on GitHub
  Official repository of "Embracing Dynamics: Dynamics-aware 4D Gaussian Splatting SLAM" (IROS 2025).
  ☆14May 13, 2026Updated 2 months ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• BiggerBinBin / QtCanPlatform

  View on GitHub
  一款可以视化编辑的CAN上位机测试软件
  ☆20Sep 25, 2024Updated last year
• redblame315 / Poker_Multiplayer

  View on GitHub
  ☆10Mar 6, 2023Updated 3 years ago
• Frama-C / open-source-case-studies

  View on GitHub
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆35Oct 29, 2020Updated 5 years ago
• donomii / go-rwkv.cpp

  View on GitHub
  A go wrapper around the rwkv.cpp library
  ☆20Mar 4, 2024Updated 2 years ago
• hathach / circuitpython

  View on GitHub
  CircuitPython - a Python implementation for teaching coding with microcontrollers
  ☆14Jan 21, 2025Updated last year
• bifurcation / tamarin-ake

  View on GitHub
  Models for authenticated key exchange in Tamarin
  ☆12Oct 9, 2019Updated 6 years ago
• aler9 / dctk

  View on GitHub
  Direct Connect client library (ADC and NMDC) for the Go programming language
  ☆15Feb 9, 2023Updated 3 years ago
• Verisig / verisig

  View on GitHub
  ☆28Sep 27, 2024Updated last year
• briandennis / lunch-repo

  View on GitHub
  Must watch programming videos, the perfect non-human meal time companion
  ☆17Mar 29, 2019Updated 7 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• allantokuda / LDT

  View on GitHub
  Entity-Relationship Diagram Drawing Tool
  ☆17Mar 8, 2023Updated 3 years ago
• redblame315 / Character2D_Rigging

  View on GitHub
  ☆11Mar 9, 2023Updated 3 years ago
• tallerthenyou / simplicity-with-day

  View on GitHub
  Simplicity watch face with the day of the week for Pebble 2.0.
  ☆17Feb 9, 2016Updated 10 years ago
• mjacobus / jw-play

  View on GitHub
  A prototype of a player/slideshow for zoom meetings
  ☆15Jan 23, 2026Updated 6 months ago
• nasa / TrickFMI

  View on GitHub
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆24Jul 16, 2024Updated 2 years ago
• xenserver / xencenter-samples

  View on GitHub
  XenCenter Plug-in Examples
  ☆17Oct 1, 2024Updated last year
• isabelle-utp / utp-main

  View on GitHub
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆39Jan 29, 2024Updated 2 years ago