Repositories list

• LLFSMGenerate

  Public
  A utility for generating VHDL LLFSMs

  Swift

  •0•0•0•0•Updated Dec 10, 2024Dec 10, 2024

• FurnaceRelay

  Public
  0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• VHDLModelChecker

  Public
  Swift

  •0•0•0•0•Updated Nov 3, 2024Nov 3, 2024

• Aeroconf2025Machines

  Public
  A repository containing the LLFSMs demonstrated at Aeroconf2025.

  0•0•0•0•Updated Oct 4, 2024Oct 4, 2024

• editor

  Public
  TypeScript

  •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024

• swift-workflows

  Public
  0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

• Watchdog

  Public
  0•0•0•0•Updated Sep 23, 2024Sep 23, 2024

• VHDLKripkeStructures

  Public
  Swift

  •0•0•0•0•Updated Sep 1, 2024Sep 1, 2024

• TCTLParser

  Public
  Swift

  •0•0•0•0•Updated Sep 1, 2024Sep 1, 2024

• VHDLJSModels

  Public
  Swift

  •0•0•0•0•Updated Jun 4, 2024Jun 4, 2024

• SwiftUtils

  Public
  Swift

  •0•0•0•0•Updated Jun 4, 2024Jun 4, 2024

• zybo_verification_template

  Public
  Tcl

  •0•0•0•0•Updated May 30, 2024May 30, 2024

• gttcan

  Public
  Software Implementation of TTCan

  C

  •0•0•0•0•Updated Apr 3, 2024Apr 3, 2024

• swift-fsmlib

  Public
  Library for logic-labelled finite-state machines

  Swift

  •0•0•0•0•Updated Mar 30, 2024Mar 30, 2024

• AeroconfDemo

  Public
  Swift

  •0•0•0•0•Updated Feb 9, 2024Feb 9, 2024

• CPUNotifier

  Public
  The swift machine for the Aeroconf2024 conference.

  Swift

  •0•0•0•0•Updated Jan 12, 2024Jan 12, 2024

• gusimplewhiteboard

  Public
  C++

  •

  Other

  •0•0•0•0•Updated Nov 14, 2023Nov 14, 2023

• SimpleBlinky

  Public
  An embedded-cross-framework project for an STM32F2 Blinky

  C

  •0•0•0•0•Updated Sep 26, 2023Sep 26, 2023

• swift-whiteboard

  Public
  Swift

  •

  Other

  •0•1•0•0•Updated Sep 15, 2023Sep 15, 2023