| haskellPackages.synchronous-channels | Synchronous communication channels |
| haskellPackages.asynchronous-exceptions | Distinguish between synchronous and asynchronous exceptions |
| nusmv | New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems |
| fsmark | Synchronous write workload file system benchmark |
| ocamlPackages.zelus | Synchronous language with ODEs |
| snapcast | Synchronous multi-room audio player |
| ocamlPackages_latest.zelus | Synchronous language with ODEs |
| ocamlPackages.lutils | Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg) |
| ocamlPackages.rdbg | Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages) |
| heptagon | Compiler for the Heptagon/BZR synchronous programming language |
| ocamlPackages_latest.lutils | Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg) |
| ocamlPackages_latest.rdbg | Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages) |
| python313Packages.unasync | Project that can transform your asynchronous code into synchronous code |
| python314Packages.unasync | Project that can transform your asynchronous code into synchronous code |
| haskellPackages.sync | A fast implementation of synchronous channels with a CML-like API |
| python313Packages.snapcast | Control Snapcast, a multi-room synchronous audio solution |
| python314Packages.snapcast | Control Snapcast, a multi-room synchronous audio solution |
| haskellPackages.clash | CAES Language for Synchronous Hardware (CLaSH) |
| python312Packages.unasync | Project that can transform your asynchronous code into synchronous code |
| python313Packages.greenback | Use anyio and asyncio from synchronous code |
| python314Packages.greenback | Use anyio and asyncio from synchronous code |
| haskellPackages.clash-vhdl | CAES Language for Synchronous Hardware - VHDL backend |
| python312Packages.snapcast | Control Snapcast, a multi-room synchronous audio solution |
| haskellPackages.signals | Synchronous signal processing for DSLs |
| python313Packages.threadloop | Library to run tornado coroutines from synchronous Python |
| python314Packages.threadloop | Library to run tornado coroutines from synchronous Python |
| haskellPackages.kafka-client-sync | Synchronous Kafka Client |
| haskellPackages.clash-verilog | CAES Language for Synchronous Hardware - Verilog backend |
| python312Packages.threadloop | Library to run tornado coroutines from synchronous Python |
| haskellPackages.clash-systemverilog | CAES Language for Synchronous Hardware - SystemVerilog backend |
| haskellPackages.unexceptionalio | IO without any non-error, synchronous exceptions |